22 Repositories
UniMath
972
SymmetryBook
412
Foundations
242
agda-unimath
242
TypeTheory
113
Schools
81
2006_03_Homotopy_lambda_calculus
15
largecatmodules
12
book
10
Universe_Polymorphic_Type_System
9
SetHITs
9
old_notes_on_type_systems
7
GrpdHITs
7
Computability
6
opam-repository
3
lCsystems
3
lBsystems
3
unimath.github.io
2
UniMath-jsCoq
2
live
1
Contrib
1
ICMS2016UniMath.github.io
0