The Theorem Prover Museum -- Conserving the System Heritage of Automated Reasoning

“The Logic Theory Machine, A complex information processing system”, 1956

Allen Newell and Herbert. Simon · 1956

Earlier work this paper cites.

In Handbook of Automated Reasoning I and II

“Handbook of Automated Reasoning” · 2001

Earlier work this paper cites.

“Early History and Perspectives of Automated Deduction”

Wolfgang Bibel · 2007

Cited alongside, same era.

URL: http://www.cs.miami.edu/~tptp/CASC/

“The CADE ATP System Competition”

Cited in the paper.

URL: https://www.softwareheritage.org/

“Software Heritage”

Cited in the paper.

URL: http://swmath.org

“Mathematical Software – swMATH”

Cited in the paper.

URL: http://swmath.org/?c4f=museum&which_search=advanced

“swMath – Theorem Prover Museum”

Cited in the paper.

URL: https://github.com/theoremprover-museum/theoremprover-museum.github.iverbo/tree/master/_data

“The Data Files of the Theorem Prover Museum”

Cited in the paper.

URL: http://theoremprover-museum.github.io/systems-believed-lost.html

“Theorem Provers believed lost”

Cited in the paper.

URL: https://github.com/johnyf/tool_lists/blob/master/verification_synthesverbis.md#theorem-provers

“Verification and Synthesis Systems – Theorem Provers”

Cited in the paper.

URL: http://zbmath.org

“zbMATH the first resource in mathematics”

Cited in the paper.

London, UK: College Publications, 2017

“Towards an Encyclopaedia of Proof Systems” · 2017

Later among the works it cites.