Theorem Prover Museum has 20 Provers 7 April 2017

The Museum surpasses 20 systems: imps, MKRP, OMEGA, InKa, otter, prover9, LCF77, TPS, HOL88, PRV-Beweisprogramm, CLIN, clam2, clam3, OSHL, HOL90, lambdaclam, muscadet, discount, and SNARK