The Lean Computer Science Library (CSLib)

Radar benchmarking for lean4

Lean 4 programming language and theorem prover

A monorepo of packages downstream of Lean 4.

Scripts for managing lake package monorepos.

The Lean reference manual

Automated releases from leanprover/lean4 PRs

Build structured Proof Blueprints with Verso

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

Lean documentation authoring tool