Homotopy Type Theory
real geometric algebra > history
<
geometric algebra
category:
redirected to nlab