DownloadThe 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.
Project Samples
License
BSD License, GNU Library or Lesser General Public License version 2.0 (LGPLv2)Follow Archive of Formal Proofs
Other Useful Business Software
FortiGate NGFW identifies and stops advanced threats with powerful application control, malware protection, web filtering, antivirus, and IPS technology. As the attack surface expands, FortiGate provides integrated and automated protection against emerging and sophisticated threats while securing hybrid or multi-cloud environments. Deploy today in Azure Marketplace.
Rate This Project
Login To Rate This Project
User Reviews
-
the AFP!!
-
very useful idea