Homotopy Type Theory
Dedekind real numbers > history
<
Dedekind real number
category:
redirected to nlab