RedPRL/kado

🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory

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

话题：cubical-type-theory · homotopy-type-theory · ocaml · ocaml-library · proof-assistant · type-theory

在 GitHub 上查看原仓库