wtf do these Lean repos do?
Popular Lean repositories on GitHub, each decoded: what it actually does, its stack, and how to run it.
- facebookresearch/atlas-leanA huge library of university math automatically converted from 26 textbooks into Lean 4, a language where proo
- lean-dojo/torchleanA Lean 4 framework for building neural networks and mathematically proving properties about how they behave.
- jzshischolar/pyleanerPyLeaner bridges Python and Lean 4 so AI researchers can query formal proof state, extract theorem definitions
- mathtensor/ai4math-putnam2025Lean 4 formal proofs for all twelve 2025 Putnam Competition problems, machine-verified against Mathlib and pin
- cajal-technologies/talosA WebAssembly interpreter built in Lean 4 that lets you mathematically prove what a program will do for all po
- tripp-smith/lean-lfseA Lean 4 library and CLI for building auditable financial pricing scenarios as lazy, cached, traceable computa
All repos · Explain any other repo →