rzrn/anders

Anders: Cubical Type Checker

语言：OCaml · GitHub 星标：23 · Fork：1

话题：ctt · cubical-type-theory · dependent-type-theory · dependent-types · homotopy-type-theory · hott · mltt · proof-assistant

在 GitHub 上查看原仓库