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 4.5k 403
Automated releases from leanprover/lean4 PRs
Armv8 Native Code Symbolic Simulator in Lean
Registry index for Reservoir
Nightly builds
Package registry for Lean/Lake.
Lean documentation authoring tool
A StableHLO analyzer in Lean
Verified tensor compilation in Lean
A verified tensor library in Lean