Repository profile
Lean 4 programming language and theorem prover
Repository updates
Get generated leanprover/lean4 development summaries by email, or follow the weekly and monthly RSS feeds.
Sign in to subscribe by email. RSS feeds are public.
Sign in to subscribeTracked growth, recent movement, and commit velocity from stored repository snapshots.
Latest capture 2026-07-15 03:11
5 captures since 2026-05-25
Stars from baseline +398
All tracked data
Frameworks, package managers, ecosystems, and dependency manifests found during catalog scans.
Scanned 2026-07-15 03:11
CMakeLists.txt
c-cpp ecosystem,
0 dependencies
src/CMakeLists.txt
c-cpp ecosystem,
5 dependencies
tests/CMakeLists.txt
c-cpp ecosystem,
0 dependencies
script/release/pyproject.toml
python ecosystem,
4 dependencies
src/initialize/CMakeLists.txt
c-cpp ecosystem,
0 dependencies
src/kernel/CMakeLists.txt
c-cpp ecosystem,
0 dependencies
src/library/CMakeLists.txt
c-cpp ecosystem,
0 dependencies
src/runtime/CMakeLists.txt
c-cpp ecosystem,
0 dependencies
Searchable topics, generated tags, and stack labels that explain where this repository fits.
Agent instructions and tool configuration paths found in the repository tree.
AI agent config detected
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#)
LangChain4j is an idiomatic, open-source Java library for building LLM-powered applications on the JVM. It offers a unified API over popular LLM providers and vector stores, and makes implementing tool calling (including MCP support), agents and RAG easy. It integrates seamlessly with enterprise Java frameworks like Quarkus and Spring Boot.
Official distribution releases of CKEditor 4.
Your standard library for metaprogramming (uses zig build-system)
A web-based collaborative LaTeX editor
