HoTT Reading Notes

Author
Pierre-Yves Gaillard
View Count
2367
License
Creative Commons CC BY 4.0
Abstract

This is an informal set of comments on the HoTT Book.

HoTT Reading Notes