☆142Oct 26, 2026Updated this week
Alternatives and similar repositories for lean-pool
Users that are interested in lean-pool are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆256Updated this week
- ☆38Jul 3, 2026Updated 3 months ago
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆31Aug 13, 2026Updated 2 months ago
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 4 months ago
- ☆10Sep 18, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- OpenClaw-style theorem proving☆29Aug 21, 2026Updated 2 months ago
- ☆14Mar 23, 2026Updated 7 months ago
- An external lean checker with a proof of consistency☆141Updated this week
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆22Jun 27, 2026Updated 4 months ago
- Tools for writing good AI generated papers☆15Sep 2, 2026Updated last month
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆11May 18, 2025Updated last year
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆42Updated this week
- Leaff is a diff tool for Lean environments☆26Jan 18, 2025Updated last year
- Comparator-based Lean formal mathematics eval☆49Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆49Aug 26, 2026Updated 2 months ago
- ☆247Oct 14, 2026Updated 2 weeks ago
- Try a tactic at each step in a Lean proof.☆39Oct 13, 2026Updated 2 weeks ago
- Semantic Search Over 9 million Mathematical Theorems☆23Oct 3, 2026Updated 3 weeks ago
- Lean 4 theorem proving skill and workflow pack for AI coding agents☆475Updated this week
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆50Updated this week
- ☆22Sep 25, 2026Updated last month
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated 2 weeks ago
- Proétale cohomology in Lean☆17Sep 29, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A Lean 4 library for formal linguistics.☆30Updated this week
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆36Oct 15, 2026Updated 2 weeks ago
- A formal verification of Linear PCP SNARKs.☆64Aug 15, 2026Updated 2 months ago
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆37Updated this week
- Formalization of Iwasawa Theory in LꓱꓯN (tentative)☆12Jul 30, 2026Updated 2 months ago
- Lean Theorem Prover MCP☆541Updated this week
- Lean 4 formalization of Rubik's cubes☆36Feb 17, 2025Updated last year
- The Lean Computer Science Library (CSLib)☆783Updated this week
- a zero-knowledge proof-carrying code protocol for Lean 4☆107Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Lean 4 kernel / 'external checker' written in Lean 4☆268Oct 10, 2026Updated 2 weeks ago
- A type-safe, deeply-embedded SQL query DSL for Lean 4☆27Oct 13, 2026Updated 2 weeks ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆122Oct 1, 2026Updated 3 weeks ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated last year
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 5 months ago
- Blueprint for the PNT+ Project☆351Oct 20, 2026Updated last week