The Lean reference manual

Automated releases from leanprover/lean4 PRs

Lean 4 programming language and theorem prover

Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)

The Lean Computer Science Library (CSLib)

Online Lean Workbench

A collection of reusable components from the Lean website designed build related sites with the same look and feel.

Build structured Proof Blueprints with Verso

Document Generator for Lean 4

Lean documentation authoring tool