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

(github.com)

11 points | by jsLavaGoat 8 hours ago ago

2 comments