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

12 pointsposted 10 hours ago
by jsLavaGoat

2 Comments