dmandic17/automated-theorem-prover
Automated Theorem Prover for propositional logic implemented using Wang's algorithm, coded in SWI-Prolog
PrologMIT
No issues in this repository yet.
Automated Theorem Prover for propositional logic implemented using Wang's algorithm, coded in SWI-Prolog
PrologMIT
No issues in this repository yet.