Theorem Prover Museum - News
- Theorem Prover Museum has 30 Provers 20 June 2018
- Call for Theorem Prover Metadata 30 September 2017
- Theorem Prover Museum has news 22 September 2017
- swMATH links 9 September 2017
- The sources of the first theorem prover (Logic Theorist) found! 2 September 2017
- Theorem Prover Museum has 20 Provers 7 April 2017
- Theorem Prover Museum has 10 Provers 10 December 2016
- Theorem Prover Museum established 10 February 2016