/Natural-Deduction-Proof-Checker

A proof checker that works like a programming language to verify natural deduction proofs step-by-step.

Primary LanguagePython

No issues in this repository yet.