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 | ||