Lean 4 programming language and theorem prover

The Lean reference manual

The Lean Computer Science Library (CSLib)

Lean documentation authoring tool

Automated releases from leanprover/lean4 PRs

Plain-text declaration export for Lean 4

Submission pipeline and results store for the lean-eval benchmark (https://github.com/leanprover/lean-eval)

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