calculus
4 stories and discussions about calculus, aggregated from every source we track.
1.
Lambda calculus is for wimps. Real programmers use combinatory logic.
2.
AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks.
3.
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
4.
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.