ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866913629313433600 |
|---|---|
| author | Wang, Shuai |
| author_facet | Wang, Shuai |
| contents | This paper introduces ProofCloud, a proof retrieval engine for verified proofs in higher order logic. It provides a fast proof searching service for mathematicians and computer scientists for the reuse of proofs and proof packages. In addition, it includes the first complete proof-checking results and benchmarks of the OpenTheory repository. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_20947 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic Wang, Shuai Logic in Computer Science 03B16, 03B70, 03B80, 03B20, 03F35, 03F07, F.4.1; F.3.1; H.3.3 This paper introduces ProofCloud, a proof retrieval engine for verified proofs in higher order logic. It provides a fast proof searching service for mathematicians and computer scientists for the reuse of proofs and proof packages. In addition, it includes the first complete proof-checking results and benchmarks of the OpenTheory repository. |
| title | ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic |
| topic | Logic in Computer Science 03B16, 03B70, 03B80, 03B20, 03F35, 03F07, F.4.1; F.3.1; H.3.3 |
| url | https://arxiv.org/abs/2412.20947 |