Homotopy Type Theory
Calculating the fundamental group of the circle in homotopy type theory > history
<
homotopy type theory - references
category:
redirected to nlab