GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ unimath
Top 1 unimath 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
unimath projects