Lean's repositories
theorem_proving_in_lean4
Theorem Proving in Lean 4
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
vscode-lean
Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.
functional_programming_in_lean
A book about functional programming in Lean
lean4-nightly
Nightly builds
lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
presentations
lean-related presentations
lean-action
GitHub action for standard CI in Lean projects
lean4export
Plain-text declaration export for Lean 4
lean3-web-editor
Lean web editor
lean4-pr-releases
Automated releases from leanprover/lean4 PRs
reservoir-index
Registry index for Reservoir
lean4-ci-test
A copy of the lean4 repository to test changes to the repository and CI setup
lean4wip
Lean 4 fork for working in progress development
release-index
Index of Lean releases