Homotopy Type Theory
generalized Cauchy real numbers > history
<
generalized Cauchy real numbers
category:
redirected to nlab