Homotopy Type Theory
closed interval > history
<
closed interval
category:
redirected to nlab