Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
The nLab has two articles on the same subject. There is book homotopy type theory which was merged into the nLab by an anonymous user in June of 2022 from the HoTT wiki, according to the nForum discussion page for book homotopy type theory. Then there is book HoTT which was created by another anonymous user in November of 2022.
The first one is just a stub, so it should be merged into the other and redirected.
I would also name it with a capital letter, “Book HoTT” rather than “book HoTT”.
Capitalize page name and merge in book homotopy type theory
1 to 4 of 4