← Latest products

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.

Open source

45 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Formalizing Principia Mathematica using Lean

    github.com

    Rewriting Principia Mathematica in Lean

    Hacker News188 pts

  2. Katharos Functional programming and CSP-style concurrency for Python

    github.com

    A functional programming and concurrency library for Python: algebraic abstractions (Semigroups, Monoids, Functors, Applicatives, Monads), immutable data types, and message-passing concurrency, all designed as composable, type-safe values.

    Hacker News37 pts

  3. Formally verified 3D CSG

    github.com

    Trust 93 lines spec, not 1000 lines AI code

    Hacker News115 pts

  4. Neco

    github.com

    Coroutine Library for C

    Hacker News145 pts

  5. Formal Verification for Machine Learning Models Using Lean 4

    github.com

    Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.

    Hacker News52 pts