theoremprover-museum / logic-theorist

The sources of the first theorem prover.
59Updated 7 years ago

Alternatives and similar repositories for logic-theorist:

Users that are interested in logic-theorist are comparing it to the libraries listed below