Homotopy Type Theory
Jason Gross > history
<
Jason Gross
category:
redirected to nlab