The Lean reference manual

Lean 4 programming language and theorem prover

The Lean Computer Science Library (CSLib)

Automated releases from leanprover/lean4 PRs

"Do you know how fast you were going?"

Lean documentation authoring tool

Nightly builds

VS Code extension for the Lean 4 programming language and theorem prover

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