/Skeptik

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

Primary LanguageScala

Watchers