A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Home Page:https://cubical.1lab.dev
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool