6 results found Sort:
- Filter by Primary Language:
- Agda (4)
- Coq (1)
- Haskell (1)
- +
A Coq library for Homotopy Type Theory
Created
2011-03-26
7,240 commits to master branch, last one 12 days ago
Experimental implementation of Cubical Type Theory
Created
2015-02-26
689 commits to master branch, last one about a year ago
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Created
2018-02-05
4,823 commits to master branch, last one 8 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,971 commits to master branch, last one a day ago
Lecture notes on univalent foundations of mathematics with Agda
Created
2019-03-20
1,048 commits to master branch, last one about a year ago
Agda formalisation of the Introduction to Homotopy Type Theory
Created
2020-07-28
545 commits to master branch, last one 3 years ago