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-2016-12-08.tar.gz | 2016-12-08 | 20.1 MB | |
| afp-2016-11-29.tar.gz | 2016-11-29 | 20.0 MB | |
| afp-2016-11-17.tar.gz | 2016-11-17 | 20.0 MB | |
| afp-2016-11-10.tar.gz | 2016-11-10 | 20.0 MB | |
| afp-2016-10-27.tar.gz | 2016-10-27 | 19.9 MB | |
| afp-2016-10-25.tar.gz | 2016-10-25 | 19.9 MB | |
| afp-2016-10-24.tar.gz | 2016-10-24 | 19.8 MB | |
| afp-2016-10-21.tar.gz | 2016-10-21 | 19.8 MB | |
| afp-2016-10-19.tar.gz | 2016-10-19 | 19.7 MB | |
| afp-2016-10-15.tar.gz | 2016-10-15 | 19.6 MB | |
| afp-2016-10-11.tar.gz | 2016-10-11 | 19.6 MB | |
| afp-2016-10-05.tar.gz | 2016-10-05 | 19.6 MB | |
| afp-2016-09-29.tar.gz | 2016-09-29 | 19.6 MB | |
| afp-2016-09-09.tar.gz | 2016-09-09 | 19.6 MB | |
| afp-2016-09-06.tar.gz | 2016-09-06 | 19.1 MB | |
| afp-2016-08-31.tar.gz | 2016-08-31 | 19.0 MB | |
| afp-2016-08-24.tar.gz | 2016-08-24 | 19.0 MB | |
| afp-2016-08-18.tar.gz | 2016-08-18 | 18.9 MB | |
| afp-2016-08-12.tar.gz | 2016-08-12 | 18.8 MB | |
| afp-2016-08-08.tar.gz | 2016-08-08 | 18.7 MB | |
| afp-2016-07-17.tar.gz | 2016-07-17 | 17.7 MB | |
| afp-2016-07-05.tar.gz | 2016-07-05 | 17.7 MB | |
| afp-2016-07-01.tar.gz | 2016-06-30 | 17.6 MB | |
| afp-2016-06-30.tar.gz | 2016-06-30 | 17.5 MB | |
| afp-2016-06-28.tar.gz | 2016-06-28 | 17.5 MB | |
| afp-2016-06-26.tar.gz | 2016-06-26 | 17.4 MB | |
| afp-2016-06-25.tar.gz | 2016-06-25 | 17.2 MB | |
| afp-2016-06-18.tar.gz | 2016-06-18 | 17.1 MB | |
| afp-2016-06-13.tar.gz | 2016-06-13 | 17.1 MB | |
| afp-2016-06-09.tar.gz | 2016-06-09 | 17.1 MB | |
| afp-2016-06-01.tar.gz | 2016-06-01 | 17.0 MB | |
| afp-2016-05-31.tar.gz | 2016-05-31 | 17.0 MB | |
| afp-2016-05-24.tar.gz | 2016-05-24 | 17.1 MB | |
| afp-2016-05-20.tar.gz | 2016-05-20 | 17.0 MB | |
| afp-2016-05-18.tar.gz | 2016-05-18 | 17.0 MB | |
| afp-2016-05-09.tar.gz | 2016-05-08 | 16.9 MB | |
| afp-2016-05-05.tar.gz | 2016-05-05 | 16.8 MB | |
| afp-2016-05-02.tar.gz | 2016-05-02 | 16.7 MB | |
| afp-2016-04-28.tar.gz | 2016-04-28 | 16.7 MB | |
| afp-2016-04-27.tar.gz | 2016-04-27 | 16.6 MB | |
| afp-2016-04-26.tar.gz | 2016-04-26 | 16.6 MB | |
| afp-2016-04-24.tar.gz | 2016-04-24 | 16.6 MB | |
| afp-2016-04-12.tar.gz | 2016-04-12 | 16.6 MB | |
| afp-2016-03-13.tar.gz | 2016-03-13 | 16.5 MB | |
| afp-2016-03-11.tar.gz | 2016-03-11 | 16.5 MB | |
| afp-2016-03-09.tar.gz | 2016-03-09 | 16.4 MB | |
| afp-2016-03-02.tar.gz | 2016-03-02 | 16.5 MB | |
| afp-2016-02-23.tar.gz | 2016-02-23 | 16.4 MB | |
| afp-2016-02-22.tar.gz | 2016-02-22 | 16.4 MB | |
| Totals: 49 Items | 881.8 MB | 0 | |