search

Paradoxika / Skeptik

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

Add proofs and optimise first-order compression algorithms #128

Closed jgorzny closed 7 years ago

jgorzny commented 7 years ago

Adds proofs used as data for FORPI paper draft. Fixes and optimisations to FOLU/FORPI are also included.

ceilican commented 7 years ago

Thanks!