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