Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem
发生了什么
Michael 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-UH/spivak-lean
摘要按规则整理自下方来源原文