Theorem Prover Museum has 30 Provers 20 June 2018

The Museum surpasses 30 systems: imps, MKRP, OMEGA, InKa, otter, Mace, prover9, Mace4, PRESS, LCF77, TPS, ETPS, HOL88, HOL90, SNARK, PRV-Beweisprogramm, OSHL, CLIN, clam2, clam3, lambdaclam, muscadet, discount,scunac, SETHEO, ProCom, logic-theorist, isabelle, RDL, ClassInt, PLTP, EQP.