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