4 ms·1Lab: Cross-linked reference for mathematics done in Homotopy Type Theory2 points by transpute 5y ago