theoremprover-museum / logic-theoristLinks

The sources of the first theorem prover.
60Updated 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

Sorting: