Skip to content

the1lab/1lab

Error
Looks 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

Stars

Watchers

Forks