Software engineer studying mathematics
- Cape Town, South Africa
- in/grahamhstrickland
Pinned Loading
-
clrs
clrs PublicC++17 implementations of the algorithms from "Introduction to Algorithms" (3e) - Cormen, Leiserson, Rivest, & Stein
C++
-
isl
isl PublicExercises and examples from "An Introduction to Statistical Learning with Applications in R" (2e) - James, Witten, Hastie, & Tibshirani
TeX
-
lpfp
lpfp PublicExercises and examples from "Learn Physics with Functional Programming" - Scott N. Walck
TeX
-
math_lean
math_lean PublicExamples and exercises from "Mathematics in Lean" - Jeremy Avigad & Patrick Massot
Lean
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.