![[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 | 2024-10-04 17:53 | 5.9M | |
| CVC4---1.4.tgz | 2024-10-04 17:53 | 712M | |
| CVC4---1.5.tgz | 2024-10-04 17:53 | 5.9M | |
| E---1.9.1.tgz | 2024-10-04 17:53 | 2.0M | |
| ET---0.2.tgz | 2024-10-04 17:53 | 26M | |
| Geo-III---2015E.tgz | 2024-10-04 17:53 | 200K | |
| Isabelle---2015.tgz | 2024-10-04 17:53 | 304M | |
| LEO-II---1.6.2.tgz | 2024-10-04 17:53 | 2.0M | |
| MaLARea---0.5.tgz | 2024-10-04 17:53 | 19M | |
| Muscadet---4.5.tgz | 2024-10-04 17:53 | 25K | |
| Princess---20150706.tgz | 2024-10-04 17:53 | 1.0M | |
| Prover9---1109a.tgz | 2024-10-04 17:53 | 7.9M | |
| SPASS+T---2.2.22.tgz | 2024-10-04 17:53 | 4.2M | |
| Satallax---2.8.tgz | 2024-10-04 17:53 | 743K | |
| Satallax-MaLeS---1.3.tgz | 2024-10-04 17:53 | 1.4G | |
| Vampire---2.6.tgz | 2024-10-04 17:53 | 4.5M | |
| Vampire---4.0.tgz | 2024-10-04 17:53 | 11M | |
| ZenonArith---0.1.0.tgz | 2024-10-04 17:53 | 2.1M | |
| ePrincess---1.0.tgz | 2024-10-04 17:53 | 2.3M | |
| iProver---0.9.tgz | 2024-10-04 17:53 | 1.3M | |
| iProver---1.0.tgz | 2024-10-04 17:53 | 6.0M | |
| iProver---2.0.tgz | 2024-10-04 17:53 | 16M | |
| iProverModulo---0.7-0.3.tgz | 2024-10-04 17:53 | 5.6M | |
| leanCoP---2.2.tgz | 2024-10-04 17:53 | 12K | |