A list of awesome lean4 projects. Feel free to add your project.
Quick read
Latest capture 2026-09-04 04:01
0 paths
Agent instructions and tool configuration found in this repository.
No config files detected.
96 observed captures since 2026-06-04. Observed captures are shown by default.
Stars from first capture 0
Observed captures only
All tracked data
Observed snapshots
Observed snapshots
Nearest indexed repositories by embedding similarity.
Lean Algorithmic Trading Engine by QuantConnect (Python, C#)
ML powered analytics engine for outlier detection and root cause analysis.
Open Quartermaster is an open source inventory management system, designed to be simple to use yet powerful and extendable. The last inventory management system you will ever need!
💻 Democratizing Snippet Management (macOS/Win/Linux)
Lean 4 programming language and theorem prover
OpenCompass is an LLM evaluation platform, supporting a wide range of models (Llama3, Mistral, InternLM2,GPT-4,LLaMa2, Qwen,GLM, Claude, etc) over 100+ datasets.
