Salut,

Quelqu'un sait où je peux trouver les solutions des exercices du HoTT ?
J'ai cherché rapidement sur le site et sur le github mais rien n'y fait, je ne trouve pas
Je ne peux pas croire qu'il n'y ait pas de correction disponible pour un ouvrage de cette envergure

Je doute que tu trouves de truc bien rédigé, le livre est relativement récent. Les gens font en général ces exercices dans des assistants de preuves, pas rédigés en LaTeX (on trouve plein de liens Coq et Agda en googlant "HoTT book exercises"). Les exos les plus difficiles ont des chances d'avoir des discussions sur mathoverflow ou autres