![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Beagle---0.9.22.tgz | 2015-07-14 02:21 | 5.9M | |
| CVC4---1.4.tgz | 2015-07-14 13:06 | 712M | |
| CVC4---1.5.tgz | 2015-07-13 17:10 | 5.9M | |
| E---1.9.1.tgz | 2015-07-30 06:53 | 2.0M | |
| ET---0.2.tgz | 2015-07-14 13:29 | 26M | |
| Geo-III---2015E.tgz | 2015-07-22 14:38 | 200K | |
| Isabelle---2015.tgz | 2015-07-14 13:38 | 304M | |
| LEO-II---1.6.2.tgz | 2015-07-14 13:03 | 2.0M | |
| MaLARea---0.5.tgz | 2013-05-30 04:24 | 19M | |
| Muscadet---4.5.tgz | 2015-07-06 13:05 | 25K | |
| Princess---20150706.tgz | 2015-07-05 18:26 | 1.0M | |
| Prover9---1109a.tgz | 2015-07-14 13:07 | 7.9M | |
| SPASS+T---2.2.22.tgz | 2015-07-30 10:37 | 4.2M | |
| Satallax---2.8.tgz | 2015-07-06 13:06 | 743K | |
| Satallax-MaLeS---1.3..> | 2015-07-14 13:16 | 1.4G | |
| Vampire---2.6.tgz | 2015-07-30 10:40 | 4.5M | |
| Vampire---4.0.tgz | 2015-07-31 13:44 | 11M | |
| ZenonArith---0.1.0.tgz | 2015-07-13 16:45 | 2.1M | |
| ePrincess---1.0.tgz | 2015-07-07 09:32 | 2.3M | |
| iProver---0.9.tgz | 2015-07-14 12:59 | 1.3M | |
| iProver---1.0.tgz | 2015-07-14 13:00 | 6.0M | |
| iProver---2.0.tgz | 2015-07-28 20:15 | 16M | |
| iProverModulo---0.7-..> | 2015-07-13 16:33 | 5.6M | |
| leanCoP---2.2.tgz | 2015-08-04 12:13 | 12K | |