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 Discussing 'On the homotopy groups of spheres in homotopy type theory'(Link) Author: Guillaume Brunerie (Université Nice-Sophia-Antipolis) Reference: Brunerie, Guillame. “On the homotopy groups of spheres in ...updatedscholar.blogspot.com
