Giters
univalent-combinatorics
There are 0 repository under univalent-combinatorics topic.
agda-unimath
UniMath
/
agda-unimath
The agda-unimath library
homotopy-type-theory
univalent-foundations
univalent-mathematics
category-theory
commutative-algebra
finite-groups
graph-theory
order-theory
ring-theory
structured-types
higher-group-theory
synthetic-homotopy-theory
type-theories
univalent-combinatorics
number-theory
group-theory
trees
orthogonal-factorization-systems
species
universal-algebra
Language:
Agda
Stargazers:
206