plt-amy / cubical-1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
See what the GitHub community is most excited about today.
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
The Agda standard library