GitHub repository: martinescardo/HoTT-UF-Agda-Lecture-Notes
Primary language: Agda
Created: 2019-03-20T09:48:19Z
Description: Lecture notes on univalent foundations of mathematics with Agda