/Automatic-Theorem-Prover

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

Primary LanguagePython

Stargazers

No one’s star this repository yet.