search

Paradoxika / Skeptik

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

TopDown RecycleUnits implementation #103

Closed itegulov closed 8 years ago

itegulov commented 8 years ago

Fixes https://github.com/Paradoxika/Skeptik/issues/80

ceilican commented 8 years ago

@itegulov , thank you! I had a look in the code and it looks perfect!

Before I merge the pull request, could you post here a screenshot of an execution of this algorithm on a few example proofs?

itegulov commented 8 years ago

Here is an execution on the following example: image It results to: image With this output: image

ceilican commented 8 years ago

Thank you!