Homotopy Type Theory real geometric algebra > history

< geometric algebra