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 3.9k 333
SampCert : Verified Differential Privacy
Lean 4 fork for working in progress development
Registry index for Reservoir
Automated releases from leanprover/lean4 PRs
Visual Studio Code extension for the Lean 4 proof assistant
The Lean version manager
This package provides an interface and foundation for verified SAT reasoning
Nightly builds
Armv8 Native Code Symbolic Simulator in Lean