Lean

SampCert Public

SampCert : Verified Differential Privacy

Lean 52 Apache-2.0 5 5 4 Updated Jul 26, 2024

lean4 Public

Lean 4 programming language and theorem prover

Automated releases from leanprover/lean4 PRs

2 1 0 0 Updated Jul 26, 2024

LNSym Public

Armv8 Native Code Symbolic Simulator in Lean

Lean 39 Apache-2.0 11 1 (1 issue needs help) 2 Updated Jul 26, 2024

Visual Studio Code extension for the Lean 4 proof assistant

TypeScript 144 Apache-2.0 43 43 (1 issue needs help) 10 Updated Jul 26, 2024

Nightly builds

22 3 0 1 Updated Jul 26, 2024

leansat Public

This package provides an interface and foundation for verified SAT reasoning

Lean 43 Apache-2.0 5 5 (1 issue needs help) 2 Updated Jul 25, 2024

Registry index for Reservoir

Lean 1 1 0 0 Updated Jul 25, 2024

Package registry for Lean/Lake.

Vue 16 Apache-2.0 1 12 1 Updated Jul 25, 2024

elan Public

The Lean version manager

Rust 280 Apache-2.0 34 21 2 Updated Jul 25, 2024

Provide feedback