Search for:

We aggregate information from all open source repositories to provide the most of useful open source products, from Enterprise product to small libraries across all platforms. Please search and find what you want.

Archive of Formal Proofs

Posted on by Robin Ding Leave a comment Library, Mathematics, Software Development
5.0

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.

You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter what you need (minutes, data, texts) into Wirefly’s innovative plan comparison tools and see your savings instantly.

Post Views: 896

Related Projects:

  1. RPy (R from Python)
  2. Tiny Vector and Matrix Library
  3. Graph Package
  4. High-speed math parser
Website http://afp.sourceforge.net
Tags
License BSD License GNU Library or Lesser General Public License version 2.0 (LGPLv2)
Platform BSD Linux Mac Solaris Windows
Features