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 896
The Lean reference manual
Build structured Proof Blueprints with Verso
Lean documentation authoring tool
Automated releases from leanprover/lean4 PRs
lsp memory usage reporter for linux
A verified tensor library in Lean
The Lean Computer Science Library (CSLib)
A collection of packages downstream of Lean 4.
Templates for getting started with Verso
Loading…