Standard Library for Lean 4

Visual Studio Code extension for the Lean 4 proof assistant

Automated releases from leanprover/lean4 PRs

Lean 4 programming language and theorem prover

Nightly builds

Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.

SampCert : a Verified Implementation of the Discrete Gaussian Sampler for Differential Privacy

Theorem Proving in Lean 4

Registry index for Reservoir

This package provides an interface and foundation for verified SAT reasoning