Deducteam/lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

语言：OCaml · GitHub 星标：409 · Fork：47

话题：dependent-types · logical-framework · proof-assistant · proof-checker · proof-translator · rewriting

在 GitHub 上查看原仓库