/Proof-Check-Engine

Proof checking system for Propositional Logic statements

Primary LanguageC++

Proof-Check-Engine

Proof checking system for Propositional Logic statements