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' updatedscholar.blogspot.com/20… #Hott #TypeTheory #Homotopy