Lean repos explained in plain English
Popular Lean repositories on GitHub, each explained for non-coders — what it does, its tech stack, and how to run it.
- 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
All repos · Explain any other repo →