spivak-lean

About

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

Discovery history

1. Show HN

   Sep 27, 2026 · 1 observations