Lecture notes on univalent foundations of mathematics with Agda
Sources and scripts to generate the lecture notes available at https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/index.html
Agda 2.6.0 is required.
Lecture notes on univalent foundations of mathematics with Agda
AgdaGPL-3.0
Sources and scripts to generate the lecture notes available at https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/index.html
Agda 2.6.0 is required.