GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ univalence
Top 1 univalence open source projects
reed-thesis
My undergradate thesis on coinductive types in univalent type theory
✭ 14
TeX
haskell
Coq
Nix
thesis
mathematics
type-theory
category-theory
univalence
unimath
univalent-foundations
1-1
of
1
univalence projects
