/FirstOrderTheoremProver

First Order Theorem Prover In Python

Primary LanguagePython

First Order Theorem Prover