The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
Archive of Formal Proofs is a free software application from the Other subcategory, part of the Development category.
The app is currently available in English and it was last updated on 2011-04-03. The program can be installed on All POSIX (Linux/BSD/UNIX-like OSes)
Cygwin (MS Windows)
Archive of Formal Proofs (version 2011) is available for download from our website.
Just click the green Download button above to start. Until now the program was downloaded 39 times.
We already checked that the download link to be safe, however for your own protection we recommend that you scan the downloaded software with your antivirus.