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