Fundamental Theorem of Calculus [Slop] | Hacker News - But Better

Fundamental Theorem of Calculus [Slop]proofatlas.ai

Fundamental Theorem of Calculus: an existing Mathlib result, with a plain-language explanation, the exact upstream declaration intervalIntegral.integral_deriv_eq_sub, and a separate Lean recheck.

1 points•throwyonion•10 days ago•0 comments•

#calculus #theorem #fundamental #fundamental theorem #slop #result #mathlib #existing

0 comments

No comments yet.

Related stories

What Makes Slop, Slop?ampblog.substack.com
Hacker News · 1 points · 7 days ago
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problemgithub.com
Hacker News · 20 points · 4 days ago
Show HN: Training a model to identify AI web content from structure alonearxiv.org
Hacker News · 73 points · 9 days ago
Show HN: AttaLambda: a language where types and data are made of untyped lambdasattalambda.com
Hacker News · 47 points · 16 days ago
Shopify CEO says employees' 'slop grenades' are making more work for everyonebusinessinsider.com
Hacker News · 10 points · 9 days ago
Show HN: Jev Slop Filter for X and LinkedIngithub.com
Hacker News · 1 points · 10 days ago