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.2k 743
Automated releases from leanprover/lean4 PRs
There was an error while loading. Please reload this page.
Document Generator for Lean 4
A formalization of ML kernel languages
Lean documentation authoring tool
The Lean Computer Science Library (CSLib)
Nightly builds
"Do you know how fast you were going?"
Templates for getting started with Verso
SQLite bindings for Lean
Loading…
