aashishsatya / Automatic-Theorem-ProverLinks

A Python program that tries to prove a statement given a set of propositions in first order logic.
10Updated 10 years ago

Alternatives and similar repositories for Automatic-Theorem-Prover

Users that are interested in Automatic-Theorem-Prover are comparing it to the libraries listed below

Sorting: