search

Paradoxika / Skeptik

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

Implement Sinz algorithm #86

Open Jogo27 opened 11 years ago