/naturalDeduction

Scala tool for representation and verification of natural deduction proofs

Primary LanguageScala

naturalDeduction

[WIP] Scala tool for representation and verification of natural deduction proofs