stormj-UH/spivak-lean

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

22 best points · 2 comments · 1 Hacker News post · 45 GitHub stars · View on GitHub

Hacker News discussions