Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.
☆45Nov 6, 2026Updated this week
Alternatives and similar repositories for lean-beam
Users that are interested in lean-beam are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆38Updated this week
- Write Python modules in Lean! (WIP)☆17Oct 28, 2026Updated last week
- Build structured Proof Blueprints with Verso☆44Updated this week
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆32Aug 13, 2026Updated 2 months ago
- ☆63Dec 1, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols☆18Updated this week
- Still working on improving this!☆16Oct 16, 2026Updated 3 weeks ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Oct 18, 2026Updated 3 weeks ago
- General neural tactic for Lean 4☆48Oct 14, 2026Updated 3 weeks ago
- ☆11Oct 1, 2025Updated last year
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Updated this week
- Parallel, fused reducers for Lean 4☆16Oct 19, 2026Updated 2 weeks ago
- ☆14Oct 30, 2025Updated last year
- ☆22Mar 11, 2026Updated 7 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆25Oct 31, 2026Updated last week
- SorryDB indexes sorries in public lean repositories☆57Sep 8, 2026Updated 2 months ago
- Lean formalization of bounded gaps between primes☆48Aug 18, 2026Updated 2 months ago
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆25Jul 27, 2026Updated 3 months ago
- ☆21Mar 4, 2026Updated 8 months ago
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- Proof infrastructure about LTL in Lean 4☆40Updated this week
- List of awesome works that use AI for mathematical discoveries.☆100Updated this week
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆167Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A static analysis tool for Lean 4.☆131Updated this week
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆277Updated this week
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆108Updated this week
- Experiments on automation for Lean☆195Updated this week
- Lean Theorem Prover MCP☆549Updated this week
- Mozi Lean Copilot VS Code Extension☆11Jan 7, 2026Updated 10 months ago
- plasTeX plugin to build formalization blueprints.☆400Dec 23, 2025Updated 10 months ago
- ☆11Feb 17, 2025Updated last year
- An auto-active program verifier in Lean☆136Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆23Dec 3, 2025Updated 11 months ago
- Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool☆23Oct 22, 2026Updated 2 weeks ago
- ☆289Jul 8, 2026Updated 4 months ago
- Lean 4 theorem proving skill and workflow pack for AI coding agents☆483Updated this week
- ☆247Oct 14, 2026Updated 3 weeks ago
- A Lean library for machine-checked cryptographic proofs.☆173Updated this week
- ☆33Updated this week