search

Paradoxika / Skeptik

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

GSoC2016 #107

Closed jgorzny closed 8 years ago

jgorzny commented 8 years ago

Skeptk's first-order compression algorithms are as they were for the LPAR submission, but cleaner. A few (very minor) bugs were found and repaired during clean up.