search

Paradoxika / Skeptik

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

Fix/tracecheckparser #102

Closed AFellner closed 9 years ago

AFellner commented 9 years ago

Fixes tracheck parser treelike parsing (Issue #101) and adds unit test