Archive of
Formal
Proofs

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments,
mechanically checked in the theorem prover Isabelle. It is organized in the way
of a scientific journal, is indexed by dblp and has an ISSN:
2150-914x. Submissions are refereed. The preferred citation style is available [here]. We encourage companion AFP submissions to conference and journal publications.