Lean 4 programming language and theorem prover
Appears on
Quick read
Latest capture 2026-09-11 03:03
Archive status reflects the last catalog sync, not a maintenance assessment. Check recent releases, issue responses, and fit for your project with the repository shortlisting checklist.
21 paths
Agent instructions and tool configuration found in this repository.
Agent instructions
Claude Code 20
7 observed captures since 2026-05-25. Observed captures are shown by default.
Stars from first capture +1021
Observed captures only
All tracked data
Observed snapshots
Observed snapshots
Nearest indexed repositories by embedding similarity.
A list of awesome lean4 projects. Feel free to add your project.
Lean Algorithmic Trading Engine by QuantConnect (Python, C#)
MathCode: A Frontier Mathematical Coding Agent
Official distribution releases of CKEditor 4.
Your standard library for metaprogramming (uses zig build-system)
A web-based collaborative LaTeX editor
