AD1024/dtlc

Dependently typed lambda calculus - A Simple Proof Assistant

语言：OCaml · GitHub 星标：13 · Fork：0

话题：dependent-type-theory · lambda-calculus · proof-assistant

在 GitHub 上查看原仓库