@misc{indiciae9b4179307d41,
  title = {ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic},
  author = {Shuai Wang},
  year = {2024},
  url = {https://arxiv.org/abs/2412.20947},
  note = {Source identifier: 2412.20947}
}