Paradoxika / Skeptik

A library for Proof Theory (especially Proof Compression) in Scala.
33Updated 7 years ago

Related projects

Alternatives and complementary repositories for Skeptik