Skeptik

Skeptik

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