jonsterling/lcf-sequent-calculus-example

A self-contained implementation of forward and backward inference for intuitionistic propositional logic

语言：TeX · GitHub 星标：18 · Fork：0

在 GitHub 上查看原仓库