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