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