Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem
说明与用途
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem：Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem may be useful when its README and activity match a concrete workflow.。适合用于Misc。Medium: useful for prototypes or internal workflows, with dependency and maintenance checks before production.
实际用途
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem may be useful when its README and activity match a concrete workflow.
限制与审查说明
Medium: useful for prototypes or internal workflows, with dependency and maintenance checks before production.
- 来源: hackernews
- 记录日期: 2026-09-26T17:00:23.000Z