Archive of Formal Proofs Publisher's description
from lp15, lsf37, nipkow
The Archive of Formal Proofs is a collection of proof libraries, examples,....
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.
System Requirements:No special requirements.
Program Release Status: Minor Update
Program Install Support: Install and Uninstall