lcf-sequent-calculus-example. A self-contained implementation of forward and backward inference for intuitionistic propositional logic

github.com/jonsterling/lcf-sequent-calculus-example
by @jonsterling

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.