← Latest products

Formalizing Principia Mathematica using Lean

Rewriting Principia Mathematica in Lean. This project aims to formalize the first volume of Prof.

Open source

143 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. 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

  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. val

    github.com

    An arbitrary precision calculator language

    Hacker News34 pts

  4. Sostactic

    github.com

    polynomial inequalities using sums-of-squares in Lean

    Hacker News14 pts

  5. Samosa

    samosa-math.vercel.app

    Linter for Math Derivations

    Hacker News13 pts