Build a Theorem Prover based on book Beginning Logic by Lemmon
Primary LanguageProlog
No issues in this repository yet.