Mining the Archive of Formal Proofs
Mining the Archive of Formal Proofs
J. Blanchette,Max W. Haslbeck,Daniel Matichuk,T. Nipkow
2015 · DOI: 10.1007/978-3-319-20615-8_1
International Conference on Intelligent Computer Mathematics · 57 Citations
TLDR
An in-depth analysis of the Archive of Formal Proofs is performed, looking at various properties of the proof developments, including size, dependencies, and proof style, which gives some insights into the nature of formal proofs.