stormj-UH / spivak-lean

git clone https://github.com/stormj-UH/spivak-lean.git

Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and 4th editions