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.4k 658
Automated releases from leanprover/lean4 PRs
There was an error while loading. Please reload this page.
Package registry for Lean/Lake.
A Lean library for Computer Science
Registry index for Reservoir
Document Generator for Lean 4
Hand-written verified Lean solutions for the HumanEval benchmark
Nightly builds
A formalization of ML kernel languages
Visual Studio Code extension for the Lean 4 proof assistant
Loading…
