GitHub topics: univalent-combinatorics
UniMath/agda-unimath
The agda-unimath library
Language: Agda - Size: 28.8 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 261 - Forks: 82
Related Keywords
category-theory
1
commutative-algebra
1
finite-groups
1
graph-theory
1
group-theory
1
higher-group-theory
1
homotopy-type-theory
1
number-theory
1
order-theory
1
orthogonal-factorization-systems
1
ring-theory
1
species
1
structured-types
1
synthetic-homotopy-theory
1
trees
1
type-theories
1
univalent-combinatorics
1
univalent-foundations
1
univalent-mathematics
1
universal-algebra
1