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.
Browse Files for Archive of Formal Proofs
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Newest Files | |||||
| afp-2008-10-21.tar.gz | 3.2 MB | 2008-10-21 | 120 | ||
| afp-2007-12-20.tar.gz | 2.0 MB | 2008-10-21 | 23 | ||
| All Files | Subscribe | ||||
| afp-Isabelle2008 | 3.2 MB | 2008-10-21 | 120 | Subscribe Folder view | |
| afp-2008-10-21 | 3.2 MB | 2008-10-21 | 120 | Subscribe Folder view | |
| afp-2008-10-21.tar.gz | 3.2 MB | 2008-10-21 | 120 | ||
| afp-Isabelle2007 | 2.0 MB | 2008-10-21 | 23 | Subscribe Folder view | |
| afp-2007-12-20 | 2.0 MB | 2008-10-21 | 23 | Subscribe Folder view | |
| afp-2007-12-20.tar.gz | 2.0 MB | 2008-10-21 | 23 | ||
| afp-Isabelle2005 | 2.3 MB | 2007-11-26 | 262 | Subscribe Folder view | |
| afp-2007-11-26 | 1.3 MB | 2007-11-26 | 108 | Subscribe Folder view | |
| afp-2007-11-26.tar.gz | 1.3 MB | 2007-11-26 | 108 | Release Notes | |
| afp-2005-10-14 | 1.1 MB | 2005-10-14 | 154 | Subscribe Folder view | |
| afp-2005-10-14.tar.gz | 1.1 MB | 2005-10-14 | 154 | Release Notes | |
| afp-Isabelle2004 | 835.1 KB | 2005-10-14 | 197 | Subscribe Folder view | |
| afp-2005-07-22 | 780.9 KB | 2005-10-14 | 98 | Subscribe Folder view | |
| afp-2005-07-22.tar.gz | 780.9 KB | 2005-10-14 | 98 | Release Notes | |
| afp-2004-04-21 | 54.2 KB | 2004-04-21 | 99 | Subscribe Folder view | |
| afp-2004-04-21.tar.gz | 54.2 KB | 2004-04-21 | 99 | Release Notes | |
| afp-Isabelle2003 | 43.1 KB | 2004-04-12 | 134 | Subscribe Folder view | |
| afp-2004-03-30 | 43.1 KB | 2004-04-12 | 134 | Subscribe Folder view | |
| afp-2004-03-30.tar.gz | 43.1 KB | 2004-04-12 | 134 | Release Notes | |
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
