search

Paradoxika / Skeptik

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

GSoC final results #94

Closed AFellner closed 11 years ago

AFellner commented 11 years ago

This is the pull request of my results of the Google Summer of Code 2013. The main results are Subsumption, Recursive Split and Pebbling algorithms. Besides that small changes in other classes are made. For example the proof class got a new constructor, to use a specific topological order for constructing the indexed node set.

buildhive commented 11 years ago

Paradoxika » Skeptik #82 FAILURE Looks like there's a problem with this pull request (what's this?)

buildhive commented 11 years ago

Paradoxika » Skeptik #83 FAILURE Looks like there's a problem with this pull request (what's this?)