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