Tool for data extraction and interacting with Lean programmatically.
-
Updated
Jan 18, 2026 - Python
#
Lean
Lean is a functional programming language that makes it easy to write correct
and maintainable code. You can also use Lean as an interactive theorem prover.
Lean programming primarily involves defining types and functions. This allows
your focus to remain on the problem domain and manipulating its data, rather
than the details of programming.
Here are 88 public repositories matching this topic...
Visualizing the network of math theories.
-
Updated
Jun 9, 2024 - Python
Code for Parsel 🐍 - generate complex programs with language models
-
Updated
Sep 17, 2023 - Python
Retrieval-Augmented Theorem Provers for Lean
-
Updated
Jan 30, 2025 - Python
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
automation theorem-proving mathematics proof-assistant lean formal-methods dag codex ai-agents claude lean4 claude-code
-
Updated
Aug 17, 2026 - Python
eGenix PyRun - Your friendly, lean, open source Python runtime
-
Updated
Nov 12, 2024 - Python
llmstep: [L]LM proofstep suggestions in Lean 4.
-
Updated
Nov 11, 2023 - Python
ChatGPT plugin for theorem proving in Lean
-
Updated
Apr 4, 2024 - Python
MOTO is an automated theorem generator for science. It's a creative novelty-seeking researcher with autonomous Lean 4 proof generation. Run for days at a time once pressing start - no interaction needed! Agents working in parallel from either local host LM studio, OpenRouter, OAuth or all 3. No internet required. Star us for more!
python mathematics multi-agent autonomous lean theoretical-physics autonomous-agents autonomous-systems ai-research autonomous-agent lean4 ai-inference large-language-models autonomous-ai superintelligence automated-discovery automated-theorem-discovery automated-theorem-generation automated-proof-generation automated-theory-discovery
-
Updated
Aug 12, 2026 - Python
RaiSE Framework — Reliable AI-assisted Software Engineering. Lean methodology + deterministic toolkit for building production software with AI.
-
Updated
Aug 26, 2026 - Python
Tiny theorem prover with syntax like Lean 4 in <1K LOC
-
Updated
Jul 21, 2025 - Python
AAR - open source Coding Agent like codex, claude-code with CLI, TUI, ACP in Python
agent cli web mcp tui linux-shell openai lean acp codex claude coding-assistant ollama antrophic claude-code coding-agent pi-coding-agent
-
Updated
Aug 14, 2026 - Python
Workspace-first orchestration for long-horizon Lean 4 formalization agents.
ai dashboard theorem-proving workspace orchestration multi-agent lean formalization blueprints agents codex claude mathlib lean4 llm autoformalization
-
Updated
Aug 18, 2026 - Python
The L-GEVITY Software Architecture AI Skills
-
Updated
Aug 12, 2026 - Python
A Python interface to the Lean 4 kernel — designed for AI–Lean interactive automated theorem proving and related research. PyLeaner provides a production-ready bridge between Python and Lean's internals.
-
Updated
Aug 19, 2026 - Python
QuantConnect LEAN engine documentation, strategy templates, and reference material for algorithmic trading
-
Updated
Jul 27, 2026 - Python
Lightweight Windows service that connects LEAN to IB Gateway and pulls filtered option chains automatically.
-
Updated
Jul 12, 2026 - Python
quant connect strtegies completed clients projects
-
Updated
Jul 23, 2026 - Python
Created by Leonardo de Moura
Released 2013
- Followers
- 45 followers
- Repository
- leanprover/lean
- Website
- github.com/topics/lean
- Wikipedia
- Wikipedia