/first-order-predicate-logic-theorem-prover

Autonomous Theorem Prover for First Order Predicate Logic

Primary LanguagePythonMIT LicenseMIT

No issues in this repository yet.