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 6.6k 690
There was an error while loading. Please reload this page.
Lean documentation authoring tool
The Lean reference manual
Nightly builds
Automated releases from leanprover/lean4 PRs
"Do you know how fast you were going?"
A formalization of ML kernel languages
A Lean library for Computer Science
Registry index for Reservoir
Loading…