Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problemgithub.com·22 pts·jsLavaGoat·2