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

 (github.com)

9 points | by jsLavaGoat 6 hours ago

1 comments