Open Source1h ago
Detected, not submitted
Spivak's Calculus in Lean 4
Own Spivak's Calculus in Lean 4?
Verify your site to claim this listing and get emailed the moment a buyer's looking for something like it.
A formalization of Spivak's Calculus textbook with every theorem and problem solved in the Lean 4 proof assistant.
Spotted on Hacker News on September 26, 2026.
JS
jsLavaGoat
Maker