Formalizing Principia Mathematica using Lean

비슷한 프로덕트

설명이 비슷한 순

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.

   HNHacker News52점

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.

   HNHacker News37점

3. val

   github.com

   An arbitrary precision calculator language

   HNHacker News34점

4. Sostactic

   github.com

   polynomial inequalities using sums-of-squares in Lean

   HNHacker News14점

5. Samosa

   samosa-math.vercel.app

   Linter for Math Derivations

   HNHacker News13점