search

Paradoxika / Skeptik

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

Fix findDesiredSequent - Aug 11 Issues #119

Closed jgorzny closed 8 years ago

jgorzny commented 8 years ago

Fixes issues pointed out by today's e-mail.