A
Agda
Projects with this topic
-
-
-
-
Learn abstract math with agda
🚀 Updated -
-
Notes based on Martin Escardo's 2019 MGS course on HoTT/UF in Agda
Updated
Learn abstract math with agda
Notes based on Martin Escardo's 2019 MGS course on HoTT/UF in Agda