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.9k 826
The Lean Computer Science Library (CSLib)
There was an error while loading. Please reload this page.
Automated releases from leanprover/lean4 PRs
VS Code extension for the Lean 4 programming language and theorem prover
Registry index for Reservoir
Lean documentation authoring tool
Custom-built LLVM toolchain for use in Lean 4
The Lean reference manual
Nightly builds
Package registry for Lean/Lake.
Loading…
