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-2018-08-14.tar.gz | 2018-08-14 | 24.3 MB | |
| afp-2018-07-18.tar.gz | 2018-07-18 | 24.3 MB | |
| afp-2018-07-06.tar.gz | 2018-07-06 | 24.2 MB | |
| afp-2018-06-25.tar.gz | 2018-06-25 | 24.2 MB | |
| afp-2018-06-17.tar.gz | 2018-06-17 | 24.1 MB | |
| afp-2018-06-15.tar.gz | 2018-06-15 | 24.1 MB | |
| afp-2018-06-10.tar.gz | 2018-06-10 | 24.0 MB | |
| afp-2018-06-09.tar.gz | 2018-06-09 | 24.1 MB | |
| afp-2018-01-12.tar.gz | 2018-01-11 | 23.1 MB | |
| afp-2018-01-08.tar.gz | 2018-01-08 | 23.0 MB | |
| afp-2017-12-30.tar.gz | 2017-12-30 | 23.1 MB | |
| afp-2017-12-22.tar.gz | 2017-12-22 | 23.1 MB | |
| afp-2017-12-18.tar.gz | 2017-12-18 | 23.0 MB | |
| afp-2017-11-23.tar.gz | 2017-11-23 | 23.1 MB | |
| afp-2017-11-10.tar.gz | 2017-11-10 | 23.1 MB | |
| afp-2017-11-09.tar.gz | 2017-11-09 | 22.9 MB | |
| afp-2017-10-27.tar.gz | 2017-10-27 | 22.9 MB | |
| afp-2017-10-18.tar.gz | 2017-10-18 | 22.9 MB | |
| afp-2017-10-17.tar.gz | 2017-10-17 | 22.7 MB | |
| afp-2017-10-16.tar.gz | 2017-10-16 | 22.7 MB | |
| afp-2017-10-15.tar.gz | 2017-10-15 | 22.6 MB | |
| afp-2017-10-10.tar.gz | 2017-10-10 | 22.6 MB | |
| Totals: 22 Items | 513.9 MB | 0 | |