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.4k 889
Automated releases from leanprover/lean4 PRs
A collection of packages downstream of Lean 4.
The Lean Computer Science Library (CSLib)
Build structured Proof Blueprints with Verso
Lean documentation authoring tool
The Lean reference manual
Online Lean Workbench
Registry index for Reservoir
Scripts for managing lake package monorepos.
Loading…
