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 7.2k 746
Plain-text declaration export for Lean 4
Automated releases from leanprover/lean4 PRs
Lean documentation authoring tool
Nightly builds
Hand-written verified Lean solutions for the HumanEval benchmark
The Lean Computer Science Library (CSLib)
Document Generator for Lean 4
"Do you know how fast you were going?"
There was an error while loading. Please reload this page.
The Lean reference manual
