agsyHOL---1.0 IAP-Non |
Beagle---0.9.51 TMO-Non |
Bliksem---1.12 TMO-Non |
CARINE---0.734 IAP-Non |
CiME---2.01 IAP-Non |
cocATP---0.2.0 IAP-Non |
ConnectPP---0.3.0 TMO-Non |
Crossbow---0.1 IAP-Non |
CSE---1.7 TMO-Non |
CSE_E---1.6 TMO-Non |
cvc5---1.0.5 THM-Prf |
cvc5-SAT---1.0.5 THM-Ass |
Darwin---1.4.5 TMO-Non |
DarwinFM---1.4.5 TMO-Non |
DCTP---1.31 IAP-Non |
Drodi---3.6.0 THM-CRf |
Duper---1.0 TMO-Non |
E---3.2.0 THM-CRf |
E-Darwin---1.5 TMO-Non |
Enigma---0.5.1 THM-CRf |
ePrincess---1.0 THM-Prf |
EQP---0.9e IAP-Non |
Equinox---6.0.1a TMO-Non |
E-SAT---3.2.0 THM-CRf |
ET---2.0 THM-CRf |
Etableau---0.67 THM-CRf |
Fampire---1.3 THM-Ass |
Faust---1.0 TMO-Non |
FDP---0.9.16 IAP-Non |
Fiesta---2 IAP-Non |
Gandalf---c-2.6 IAP-Non |
Geo-III---2018C TMO-Non |
GKC---0.8 THM-CRf |
Goeland---1.0.0 TMO-Non |
GrAnDe---1.1 IAP-Non |
HOLyHammer---0.21 IAP-Non |
Infinox---1.0 TMO-Non |
iProver---3.9 THM-CRf |
iProver-Eq---0.85 TMO-Non |
iProverMo---2.5-0.1 THM-CRf |
iProver-SAT---3.9 TMO-Non |
Isabelle---2016 THM-Ass |
Isabelle-HOT---2016 THM-Ass |
KSP---0.1.6 IAP-Non |
Lash---1.13 IAP-Non |
lazyCoP---0.1 TMO-Non |
leanCoP---2.2 THM-Prf |
LEO-II---1.7.0 THM-Ass |
Leo-III---1.7.15 THM-Ref |
Leo-III-SAT---1.7.15 THM-Ref |
Mace4---1109a IAP-Non |
MaedMax---1.4 IAP-Non |
Matita---1.0 IAP-Non |
Metis---2.4 TMO-Non |
MleanCoP---1.3 IAP-Non |
Moca---0.1 IAP-Non |
Muscadet---4.5 TMO-Non |
nanoCoP---2.0 THM-Prf |
nanoCoP-M---2.0 IAP-Non |
Nitpick---2016 IAP-Non |
Otter---3.3 UNK-Non |
Paradox---4.0 TMO-Non |
Princess---230619 THM-Prf |
Prover9---1109a TMO-Non |
PyRes---1.5 TMO-Non |
Refute---2015 IAP-Non |
RPx---1.0 THM-Ass |
SaKo---3.9-0.5.3 IAP-Non |
Satallax---3.5 IAP-Non |
Satallax-MaLeS---1.3 IAP-Non |
SATCoP---0.1 THM-Prf |
SETHEO---3.3 IAP-Non |
SInE---0.4 TMO-Non |
SnakeForV---1.0 THM-Ref |
SnakeForV-SAT---1.0 THM-Ref |
SNARK---20120808r022 TMO-Non |
SOS---2.0 UNK-Non |
SPASS---3.9 THM-Ref |
SPASS+T---2.2.22 IAP-Non |
SRASS---0.1 THM-Sol |
S-SETHEO---0.0 IAP-Non |
SuperZenon---0.0.1 THM-Prf |
Toma---0.4 IAP-Non |
TPS---3.120601S1b IAP-Non |
Twee---2.5.0 TMO-Non |
Vampire---4.9 THM-Ref |
Vampire-SAT---4.9 THM-Ref |
Waldmeister---710 IAP-Non |
Z3---4.8.9.0 THM-Ass |
Zenon---0.7.1 THM-Prf |
ZenonModulo---0.5.0 THM-Ass |
Zipperpin---2.1.9999 THM-Ref |
| | |