4 results found Sort:
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Created
2018-02-05
4,789 commits to master branch, last one 2 days ago
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,957 commits to master branch, last one 19 days ago
Lecture notes on univalent foundations of mathematics with Agda
Created
2019-03-20
1,048 commits to master branch, last one 11 months ago
Agda formalisation of the Introduction to Homotopy Type Theory
Created
2020-07-28
545 commits to master branch, last one 3 years ago