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