The agda-unimath library
category-theory
graph-theory
species
trees
group-theory
number-theory
commutative-algebra
homotopy-type-theory
univalent-foundations
finite-groups
order-theory
univalent-mathematics
universal-algebra
ring-theory
structured-types
univalent-combinatorics
synthetic-homotopy-theory
higher-group-theory
type-theories
orthogonal-factorization-systems
-
Updated
Aug 22, 2024 - Agda