Erfasste Open-Source-Repos von leanprover, sortiert nach Sternen.
Lean 4 Programmiersprache und Theorembeweiser.
Die Lean Computer Science Library (CSLib)
Der Lean-Versionmanager.
