A library for Proof Theory (especially Proof Compression) in Scala.
Primary LanguageScala
No issues in this repository yet.