Archive of Formal Proofs

Welcome, Guest! Log In | Create Account

SourceForge.net > Find Software > Archive of Formal Proofs

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.

Download Now! afp-2008-10-21.tar.gz (3.2 MB) OR View all files

http://afp.sourceforge.net

Release Date:

2008-10-21

Topics:

Education, Mathematics

Licenses:

BSD License, GNU Library or Lesser General Public License (LGPL)

Be the first to post a text review of Archive of Formal Proofs. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

Code committed

committed revision 1064 to the afp Mercurial repository, changing 1 files

posted 1 days ago
Code committed

committed revision 1063 to the afp Mercurial repository, changing 1 files

posted 2 days ago
Code committed

committed revision 1062 to the afp Mercurial repository, changing 2 files

posted 3 days ago
Code committed

committed revision 1061 to the afp Mercurial repository, changing 1 files

posted 4 days ago
Code committed

committed revision 1060 to the afp Mercurial repository, changing 1 files

posted 4 days ago
Code committed

committed revision 1059 to the afp Mercurial repository, changing 1 files

posted 4 days ago
Code committed

committed revision 1058 to the afp Mercurial repository, changing 1 files

posted 4 days ago
Code committed

committed revision 1057 to the afp Mercurial repository, changing 6 files

posted 4 days ago
Code committed

committed revision 1056 to the afp Mercurial repository, changing files

posted 6 days ago
Code committed

committed revision 1055 to the afp Mercurial repository, changing 1 files

posted 6 days ago

Rate and Review

Be the first person to add a text review.