On this week's #blog , a bit late as I work around the start of teaching this semester, I write about the fascinating PhD thesis, 'On the homotopy groups of spheres in homotopy type theory' https://updatedscholar.blogspot.com/2023/02/discussing-on-homotopy-groups-of.html #Hott #TypeTheory #Homotopy