Homotopy Type Theory Calculating the fundamental group of the circle in homotopy type theory > history

< homotopy type theory - references