Deducteam/Dedukti

Type-checker for the λΠ-calculus modulo rewriting

语言：OCaml · GitHub 星标：241 · Fork：30

在 GitHub 上查看原仓库