Work

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic

Year: 2024

Type: preprint

Abstract: 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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2412.20947

Author: Wang, Shuai

Institutions: Institut national de recherche en sciences et technologies du numérique, University of Amsterdam

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4405957496

Cites:

Cited by:

Related to: 10