A library for Proof Theory (especially Proof Compression) in Scala.