Yestino - The Signal · Spivak Calculushttps://yestino.com/zh-CN/entities/spivak-calculus-b1a209与 Spivak Calculus 相关的全部事件zh-CNShow HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problemhttps://yestino.com/zh-CN/events/show-hn-spivak-s-calculus-formalized-in-lean-4-every-theorem-4e2859https://yestino.com/zh-CN/events/show-hn-spivak-s-calculus-formalized-in-lean-4-every-theorem-4e2859Sat, 26 Sep 2026 17:00:23 GMTMichael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and 4th editions - stormj-… 来源：Hacker News