Calculating the Fundamental Group of the Circle in Homotopy Type Theory | IEEE Conference Publication | IEEE Xplore