Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem

(github.com) by jsLavaGoat | Sep 26, 2026 | 0 comments on HN