dan-c-k/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
AgdaGPL-3.0
Stargazers
No one’s star this repository yet.
Lecture notes on univalent foundations of mathematics with Agda
AgdaGPL-3.0
No one’s star this repository yet.