We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Lean 4 programming language and theorem prover
Lean 8.5k 900
Online Lean Workbench
Build structured Proof Blueprints with Verso
The Lean Computer Science Library (CSLib)
A collection of packages downstream of Lean 4.
Registry index for Reservoir
Automated releases from leanprover/lean4 PRs
A verified tensor library in Lean
The Lean reference manual
Loading…
