issues
search
martinescardo
/
HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
GNU General Public License v3.0
218
stars
18
forks
source link
Added installation instructions for Arch/Manjaro Linux
#5
Closed
tomdjong
closed
5 years ago