carlosolarte/Linear-Logic-Prover-in-Maude

Provers for intuitionistic and classical linear logic plus a set of benchmarks inspired from Kleene’s intuitionistic theorems

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

在 GitHub 上查看原仓库