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-2017-09-19.tar.gz | 2017-09-19 | 22.8 MB | |
| afp-2017-09-18.tar.gz | 2017-09-18 | 22.5 MB | |
| afp-2017-09-11.tar.gz | 2017-09-11 | 22.5 MB | |
| afp-2017-09-08.tar.gz | 2017-09-08 | 22.5 MB | |
| afp-2017-09-05.tar.gz | 2017-09-05 | 22.5 MB | |
| afp-2017-09-04.tar.gz | 2017-09-04 | 22.5 MB | |
| afp-2017-08-23.tar.gz | 2017-08-23 | 22.4 MB | |
| afp-2017-08-21.tar.gz | 2017-08-21 | 22.4 MB | |
| afp-2017-08-20.tar.gz | 2017-08-20 | 22.4 MB | |
| afp-2017-08-01.tar.gz | 2017-08-01 | 22.4 MB | |
| afp-2017-07-31.tar.gz | 2017-07-31 | 22.4 MB | |
| afp-2017-07-24.tar.gz | 2017-07-24 | 22.4 MB | |
| afp-2017-07-15.tar.gz | 2017-07-15 | 22.3 MB | |
| afp-2017-07-07.tar.gz | 2017-07-07 | 22.2 MB | |
| afp-2017-06-22.tar.gz | 2017-06-22 | 22.2 MB | |
| afp-2017-06-13.tar.gz | 2017-06-13 | 22.1 MB | |
| afp-2017-06-06.tar.gz | 2017-06-06 | 22.1 MB | |
| afp-2017-06-02.tar.gz | 2017-06-02 | 22.1 MB | |
| afp-2017-06-01.tar.gz | 2017-05-31 | 21.3 MB | |
| afp-2017-05-25.tar.gz | 2017-05-25 | 21.2 MB | |
| afp-2017-05-11.tar.gz | 2017-05-11 | 21.1 MB | |
| afp-2017-05-09.tar.gz | 2017-05-09 | 20.9 MB | |
| afp-2017-05-05.tar.gz | 2017-05-05 | 20.9 MB | |
| afp-2017-05-02.tar.gz | 2017-05-02 | 20.8 MB | |
| afp-2017-04-28.tar.gz | 2017-04-28 | 20.8 MB | |
| afp-2017-04-20.tar.gz | 2017-04-20 | 20.7 MB | |
| afp-2017-04-07.tar.gz | 2017-04-07 | 20.6 MB | |
| afp-2017-04-04.tar.gz | 2017-04-04 | 20.6 MB | |
| afp-2017-03-16.tar.gz | 2017-03-16 | 20.6 MB | |
| afp-2017-03-14.tar.gz | 2017-03-14 | 20.6 MB | |
| afp-2017-03-01.tar.gz | 2017-03-01 | 20.6 MB | |
| afp-2017-02-27.tar.gz | 2017-02-27 | 20.5 MB | |
| afp-2017-02-14.tar.gz | 2017-02-14 | 20.5 MB | |
| afp-2017-02-13.tar.gz | 2017-02-12 | 20.4 MB | |
| afp-2017-02-09.tar.gz | 2017-02-09 | 20.4 MB | |
| afp-2017-02-03.tar.gz | 2017-02-03 | 20.3 MB | |
| afp-2017-01-24.tar.gz | 2017-01-24 | 20.2 MB | |
| afp-2017-01-19.tar.gz | 2017-01-19 | 20.2 MB | |
| afp-2017-01-18.tar.gz | 2017-01-18 | 20.2 MB | |
| afp-2017-01-13.tar.gz | 2017-01-13 | 20.2 MB | |
| afp-2017-01-11.tar.gz | 2017-01-11 | 20.2 MB | |
| afp-2017-01-06.tar.gz | 2017-01-06 | 20.1 MB | |
| afp-2017-01-04.tar.gz | 2017-01-04 | 20.0 MB | |
| afp-2016-12-21.tar.gz | 2016-12-21 | 20.0 MB | |
| afp-2016-12-17.tar.gz | 2016-12-17 | 19.9 MB | |
| Totals: 45 Items | 956.3 MB | 0 | |