← 최신 프로덕트

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.

오픈소스

45 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Formalizing Principia Mathematica using Lean

    github.com

    Rewriting Principia Mathematica in Lean

    Hacker News188점

  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점

  3. Formally verified 3D CSG

    github.com

    Trust 93 lines spec, not 1000 lines AI code

    Hacker News115점

  4. Neco

    github.com

    Coroutine Library for C

    Hacker News145점

  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점