A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory - View it on GitHub