walck/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
AgdaGPL-3.0
No issues in this repository yet.
Lecture notes on univalent foundations of mathematics with Agda
AgdaGPL-3.0
No issues in this repository yet.