walck/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
AgdaGPL-3.0
Watchers
No one’s watching this repository yet.
Lecture notes on univalent foundations of mathematics with Agda
AgdaGPL-3.0
No one’s watching this repository yet.