… is a vast collection of computer-checked proofs developed using the proof … the archive,
looking at various properties of the proof developments, including size, dependencies, and proof …

… Archive of Formal Proofs (AFP) is an online repository of formal proofs for the Isabelle proof
… publishing, discovering, and viewing libraries of proofs. It subsequently took residence on its …

Since its inception in 2004 the Archive of Formal Proofs has grown in size but its interface
and functionality have only been minimally improved. To transform the AFP into a more user-…

… Motivated by the continuously growing performance demands for the Isabelle Archive of
Formal Proofs (AFP), we introduce distributed cluster computing to the Isabelle platform. Parallel …

… We aim to address the arising challenges by utilizing dependency graphs of the underlying
formal entities. For the Isabelle Archive of Formal Proofs, the individual entry graphs consist …

… the relationship among documents, archives, and historical or juridical proof. This article …
from their placement in an authentic sovereign’s archive. Diplomatics’ emergence as a separate …

Since its inception in 2004 the Archive of Formal Proofs has grown in size but its interface
and functionality have only been minimally improved. To transform the AFP into a more user-…

The Isabelle Archive of Formal Proofs has grown to a significant size in the past years. It makes
up for an impressive body of research, which enables a number of statistical approaches …

… net/isa-afp/afp-2021@ 679cb16760ca490e5bd161495ad9cb5b629d16a6 Archive of Formal
Proofs Metadata This is a release of the entries metadata from the Archive of Formal Proofs …

… Maybe this was because they were aware there was a gap in the proof, but thought it did
not … , argument or line of proof so often it is the nature of the people that gives us confidence. …