This repository is not active
dmandic17/automated-theorem-prover
Automated Theorem Prover for propositional logic implemented using Wang's algorithm, coded in SWI-Prolog
PrologMIT
Automated Theorem Prover for propositional logic implemented using Wang's algorithm, coded in SWI-Prolog
PrologMIT
This repository is not active