Homotopy Type Theory
dense strict order > history
<
DLO
category:
redirected to nlab