-
Notifications
You must be signed in to change notification settings - Fork 73
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
License
the1lab/1lab
ErrorLooks like something went wrong!
About
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Topics
Resources
License
Code of conduct
Citation
Cite this repository
Loading
Something went wrong.