Homotopy Type Theory
Guillaume Brunerie > history
<
Guillaume Brunerie
category:
redirected to nlab