Polish CR implementation

Paradoxika / Skeptik

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

33 stars 25 forks source link

Closed itegulov closed 8 years ago

itegulov commented 8 years ago

Some performance improvement and a couple of bug fixes

ceilican commented 8 years ago

Thank you!!