rzrn/hurricane

Hurricane: HoTT-I Type System

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

话题：dependent-type-theory · dependent-types · homotopy-type-theory · hott · hott-uf · mltt · proof-assistant · theorem-prover

在 GitHub 上查看原仓库