Skip to content
Features & Benefits
For Writing
For Groups
For Teaching
For Universities
For Publishers
For Enterprises
Templates
Offres et tarifs
Aide
Documentation
Contact Us
S’inscrire
Se connecter
HoTT Reading Notes
Open as Template
View Source
Download PDF
Author
Pierre-Yves Gaillard
License
Creative Commons CC BY 4.0
Abstract
This is an informal set of comments on the HoTT Book.
Tags
Research Diary
Math
Lecture Notes
Find More Articles
