Agda-unimath art

A dependency graph of the library, color coded by namespace. Fredrik Bakke. 2025 — perpetuity
foundation
group-theory
elementary-number-theory
category-theory
order-theory
synthetic-homotopy-theory
univalent-combinatorics
ring-theory
metric-spaces
graph-theory
structured-types
orthogonal-factorization-systems
commutative-algebra
trees
globular-types
real-numbers
species
linear-algebra
lists
higher-group-theory
logic
finite-group-theory
universal-algebra
reflection
type-theories
finite-algebra
set-theory
domain-theory
organic-chemistry
wild-category-theory
synthetic-category-theory
literature
analysis
A dependency graph of the library, color coded by namespace. Fredrik Bakke. 2025 — perpetuity
The graph of mathematical concepts. Andrej Bauer and Matej Petković. 2023
The graph of mathematical concepts. Andrej Bauer and Matej Petković. 2023