Proof checking system for Propositional Logic statements
Primary LanguageC++
No issues in this repository yet.