Index of /~tptp/CASC/25/SystemsSources

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]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.tgz2015-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