Propositional theorem prover using Wang's algorithm
Primary LanguageProlog
No issues in this repository yet.