1Official
9 entries
Core projects maintained by the Lean FRO and the Lean community.
- Lean 4The compiler, language server, the Lake build system, and the standard library (
Std: async I/O, TCP, HTTP,Std.Time, hash maps, iterators, and more).leanprover/lean4 - elanToolchain manager for Lean, similar to
rustup.leanprover/elan - ReservoirPackage registry and index for Lean packages.
- Batteries"Batteries included" extended library with data structures, utilities and tactics beyond core.leanprover-community/batteries
- Lean 4 WebOnline Lean editor running in the browser (source).
- Lean on Compiler ExplorerInspect the IR, C and assembly that Lean generates on godbolt.org.
- VersoDocumentation authoring tool used for the Lean manual, books and websites, with elaborated and highlighted Lean code (website).leanprover/verso
- doc-gen4API documentation generator for Lean 4 packages.leanprover/doc-gen4
- CSLibThe Lean Computer Science Library: algorithms, semantics, automata, and models of computation.leanprover/cslib