G github.com Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem 22 points jsLavaGoat 1 month ago 2 comments
