search

Paradoxika / Skeptik

A library for Proof Theory (especially Proof Compression) in Scala.
33 stars 25 forks source link

Revert "Fix issues identified by Ezequiel" #121

Closed ceilican closed 8 years ago

ceilican commented 8 years ago

Reverts Paradoxika/Skeptik#118