rzrn/bravo

Castle Bravo: Experimental HoTT Implementation

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

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

在 GitHub 上查看原仓库