All Categories → No Category → cubical-type-theory

Top 3 cubical-type-theory open source projects

🧊 Модальний Гомотопічний Прувер

✭ 5

Pug ocaml cubical-type-theory type-system theorem-prover type-checker mltt

Type Theory in Type Theory using Cubical Agda

✭ 12

Agda type-theory cubical-type-theory agda

cubical-categories

Category theory formalized in cubical agda

✭ 20

Agda cubical-type-theory category-theory agda

1-3 of 3 cubical-type-theory projects