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 github.com

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

22 points•jsLavaGoat•4 days ago•2 comments•

#every #lean #theorem #formalized #spivaks #calculus #calculus formalized #spivaks calculus

2 comments

jsLavaGoat4 days ago

[flagged]

dang4 days ago

Can you please not post AI-generated or AI-edited comments to HN? It's not allowed here - see https://news.ycombinator.com/newsguidelines.html#generated and https://news.ycombinator.com/item?id=47340079.

Of course, it's impossible to know for sure what was LLM processed or not, but this post got classified that way, which is why it was flagged.

Read the full thread on Hacker News →

2 comments

Related stories