22 Repositories
UniMath
1002
SymmetryBook
440
agda-unimath
287
Foundations
246
TypeTheory
118
Schools
94
2006_03_Homotopy_lambda_calculus
15
largecatmodules
12
book
11
Universe_Polymorphic_Type_System
9
SetHITs
9
old_notes_on_type_systems
7
GrpdHITs
7
Computability
6
unimath.github.io
3
opam-repository
3
lCsystems
3
lBsystems
3
UniMath-jsCoq
2
live
2
Contrib
1
ICMS2016UniMath.github.io
0