GitHub repository: quarkcool/HoTT-UF-Agda-Lecture-Notes
Primary language: Agda
Description: Lecture notes on univalent foundations of mathematics with Agda