search

Paradoxika / Skeptik

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

Implement edge-based MiddleLower #87

Open Jogo27 opened 11 years ago

Jogo27 commented 11 years ago

Divide braid by the number of occurence (in the whole proof) of the literal labeling the incoming edge.