Lean 4 programming language and theorem prover
Appears on
Quick read
Latest capture 2026-08-02 03:14
21 paths
Agent instructions and tool configuration found in this repository.
Agent instructions
Claude Code 20
6 observed captures since 2026-05-25. Observed captures are shown by default.
Stars from first capture +571
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#)
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
