Homotopy Type Theory
pre-algebra real numbers > history
<
pre-algebra real numbers
category:
redirected to nlab