GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ univalent-combinatorics
Top 1 univalent-combinatorics open source projects
SymmetryBookFormalization
Univalent mathematics in Agda
✭ 117
Makefile
type-theory
category-theory
graph-theory
agda
group-theory
number-theory
commutative-algebra
homotopy-type-theory
univalent-foundations
finite-groups
order-theory
univalent-mathematics
ring-theory
structured-types
univalent-combinatorics
synthetic-homotopy-theory
higher-group-theory
type-theories
1-1
of
1
univalent-combinatorics projects
