Homotopy Type Theory
an axiomatization of the real numbers > history
<
real number
category:
redirected to nlab