Hey everyone, quick reminder that I'm working on a formalised, online reference resource for HoTT — not meant as an introduction, but something to consult if an explanation from the book didn't quite click or you just wanna refresh your memory.
Conversation
don't think too hard about it
1
Show replies