plt-amy / 1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
| Apr | MAY | Jun |
| 10 | ||
| 2021 | 2022 | 2023 |

See what the GitHub community is most excited about today.
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory