hott-uf topic
List
hott-uf repositories
HoTT-UF-Agda-Lecture-Notes
213
Stars
18
Forks
Watchers
Lecture notes on univalent foundations of mathematics with Agda
Agda
119
Stars
5
Forks
Watchers
Agda formalisation of the Introduction to Homotopy Type Theory