1 result found Sort:
The agda-unimath library
trees
species
ring-theory
graph-theory
group-theory
order-theory
finite-groups
number-theory
type-theories
category-theory
structured-types
universal-algebra
commutative-algebra
higher-group-theory
homotopy-type-theory
univalent-foundations
univalent-mathematics
univalent-combinatorics
synthetic-homotopy-theory
orthogonal-factorization-systems
Created
2021-11-19
2,866 commits to master branch, last one 18 days ago