search

Paradoxika / Skeptik

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

New RedRec's variants #97

Closed Jogo27 closed 11 years ago

buildhive commented 11 years ago

Paradoxika » Skeptik #88 SUCCESS This pull request looks good (what's this?)

ceilican commented 11 years ago

Thanks!