Math, CS @ Cornell | Grader for MATH 2230/2240 | box slider | tries to write sometimes
-
Cornell University
- Ithaca, NY
- blu-bird.github.io
Block or Report
Block or report blu-bird
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
-
lectures
lectures Publicsmaller projects that don't need full repos, most likely for shortish talks
TeX
-
agda-unimath
agda-unimath PublicForked from UniMath/agda-unimath
Univalent mathematics in Agda
Makefile
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.