/automated-theorem-prover

Automated Theorem Prover for propositional logic implemented using Wang's algorithm, coded in SWI-Prolog

Primary LanguagePrologMIT LicenseMIT

No issues in this repository yet.