gwaithimirdain/narya

A proof assistant for higher-dimensional type theory

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

在 GitHub 上查看原仓库