Lean evaluation and metaprogramming utilities for provers.
☆139Jul 15, 2026Updated this week
Alternatives and similar repositories for axiom-lean-engine
Users that are interested in axiom-lean-engine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MCP Server for AI agents to interact with our Lean infrastructure☆35Jun 12, 2026Updated last month
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆45Mar 25, 2026Updated 3 months ago
- ☆174Apr 24, 2026Updated 2 months ago
- Our solutions to Putnam 2025.☆110Jan 9, 2026Updated 6 months ago
- ☆255Jul 8, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆24Updated this week
- A Minimal Agent for Automated Theorem Proving☆42Updated this week
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆46Apr 3, 2026Updated 3 months ago
- ☆15Mar 25, 2026Updated 3 months ago
- An intermediate verification language☆27Jan 4, 2026Updated 6 months ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆153May 8, 2026Updated 2 months ago
- Lean 4 theorem proving skill and workflow pack for AI coding agents☆334Updated this week
- LEAN4 AUTO YOUTUBE LIVING☆71Jul 8, 2026Updated last week
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆34Updated 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.
- A Lean library for machine-checked cryptographic proofs.☆124Updated this week
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆112Apr 26, 2026Updated 2 months ago
- Lean4 benchmark on 1 category.☆28Jun 19, 2026Updated last month
- The Lean Computer Science Library (CSLib)☆626Updated this week
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆132Jul 5, 2026Updated 2 weeks ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆34May 4, 2026Updated 2 months ago
- Kimina Lean server (+ client SDK)☆206Jan 11, 2026Updated 6 months ago
- Lean formalizations of IMO problem statements☆36Apr 23, 2026Updated 2 months ago
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆74Jun 15, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An automated deductive program verifier based on concurrent separation logic☆30Updated this week
- Lean for Scientists and Engineers, course taught in Summer 2024☆38Jan 6, 2025Updated last year
- ☆319Sep 11, 2025Updated 10 months ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆99Updated this week
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Jul 13, 2026Updated last week
- Artifact for the OSDI'2025 paper☆16Jun 28, 2026Updated 3 weeks ago
- A search engine for Lean 4 declarations☆75May 7, 2026Updated 2 months ago
- ☆435Feb 13, 2026Updated 5 months ago
- ReasBook main branch mirror for self-hosted CI☆44Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lean Theorem Prover MCP☆450Updated this week
- Blueprint for the PNT+ Project☆324Updated this week
- Formal Verification for JavaScript Regular Expressions☆15Jul 8, 2026Updated last week
- An auto-active verifier embedded into Lean☆64Jul 6, 2026Updated 2 weeks ago
- A collaborative bibliography of papers related to property-based testing☆27Updated this week
- Research code base for Automatic Textbook Formalization☆155Mar 31, 2026Updated 3 months ago
- A collection of formalized statements of conjectures in Lean.☆1,058Updated this week