teknomo/Automatic-Theorem-Prover
A Python program that tries to prove a statement given a set of propositions in first order logic.
Python
Stargazers
No one’s star this repository yet.
A Python program that tries to prove a statement given a set of propositions in first order logic.
Python
No one’s star this repository yet.