Download Latest Version
afp-2019-08-19.tar.gz (30.1 MB)
Get an email when there's a new version of Archive of Formal Proofs
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| afp-2014-07-18.tar.gz | 2014-07-18 | 12.7 MB | |
| afp-2014-07-13.tar.gz | 2014-07-13 | 12.1 MB | |
| afp-2014-07-09.tar.gz | 2014-07-09 | 12.4 MB | |
| afp-2014-07-03.tar.gz | 2014-07-03 | 12.2 MB | |
| afp-2014-06-12.tar.gz | 2014-06-12 | 12.0 MB | |
| afp-2014-06-08.tar.gz | 2014-06-08 | 12.2 MB | |
| afp-2014-05-30.tar.gz | 2014-05-30 | 12.2 MB | |
| afp-2014-05-29.tar.gz | 2014-05-29 | 12.2 MB | |
| afp-2014-05-25.tar.gz | 2014-05-25 | 11.4 MB | |
| afp-2014-05-24.tar.gz | 2014-05-25 | 11.4 MB | |
| afp-2014-05-22.tar.gz | 2014-05-22 | 11.6 MB | |
| afp-2014-04-29.tar.gz | 2014-04-29 | 11.6 MB | |
| afp-2014-04-25.tar.gz | 2014-04-25 | 11.1 MB | |
| afp-2014-04-24.tar.gz | 2014-04-24 | 11.1 MB | |
| afp-2014-04-16.tar.gz | 2014-04-16 | 10.9 MB | |
| afp-2014-04-13.tar.gz | 2014-04-13 | 10.9 MB | |
| afp-2014-04-06.tar.gz | 2014-04-05 | 10.6 MB | |
| afp-2014-03-16.tar.gz | 2014-03-16 | 10.6 MB | |
| afp-2014-03-15.tar.gz | 2014-03-15 | 10.5 MB | |
| afp-2014-02-19.tar.gz | 2014-02-19 | 10.7 MB | |
| afp-2014-02-18.tar.gz | 2014-02-17 | 10.4 MB | |
| afp-2014-02-14.tar.gz | 2014-02-14 | 10.7 MB | |
| afp-2014-02-11.tar.gz | 2014-02-10 | 10.4 MB | |
| afp-2014-01-31.tar.gz | 2014-01-31 | 10.5 MB | |
| afp-2014-01-30.tar.gz | 2014-01-30 | 10.6 MB | |
| afp-2014-01-29.tar.gz | 2014-01-30 | 10.3 MB | |
| afp-2014-01-25.tar.gz | 2014-01-25 | 10.3 MB | |
| afp-2014-01-16.tar.gz | 2014-01-16 | 10.3 MB | |
| afp-2014-01-14.tar.gz | 2014-01-13 | 10.0 MB | |
| afp-2014-01-12.tar.gz | 2014-01-12 | 10.8 MB | |
| afp-2014-01-11.tar.gz | 2014-01-11 | 10.1 MB | |
| afp-2013-12-11.tar.gz | 2013-12-11 | 9.6 MB | |
| Totals: 32 Items | 354.3 MB | 0 | |