Calculating the Fundamental Group of the Circle in Homotopy Type Theory.

Daniel R. Licata, Michael Shulman

Browse the full LICS paper archive.