Theorem Prover Museum has 10 Provers 10 December 2016
The Museum now has 10 provers: imps, MKRP, OMEGA, InKa, otter, prover9, LCF77, TPS, HOL88, and
PRV-Beweisprogramm.
The Museum now has 10 provers: imps, MKRP, OMEGA, InKa, otter, prover9, LCF77, TPS, HOL88, and
PRV-Beweisprogramm.