TY  - RPRT
TI  - ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
AU  - Shuai Wang
PY  - 2024
UR  - https://arxiv.org/abs/2412.20947
ID  - 2412.20947
ER  -