stefanradziuk/naturalDeduction

Scala tool for representation and verification of natural deduction proofs

Scala