yakuza8/first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic
PythonMIT
No issues in this repository yet.
Autonomous Theorem Prover for First Order Predicate Logic
PythonMIT
No issues in this repository yet.