We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Lean 4 programming language and theorem prover
Lean 5.9k 613
Package registry for Lean/Lake.
Automated releases from leanprover/lean4 PRs
Registry index for Reservoir
The Lean reference manual
Lean documentation authoring tool
Nightly builds
There was an error while loading. Please reload this page.
A formalization of ML kernel languages
Theorem Proving in Lean 4
Functional Programming in Lean