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 887
Automated releases from leanprover/lean4 PRs
The Lean reference manual
A collection of packages downstream of Lean 4.
Online Lean Workbench
The Lean Computer Science Library (CSLib)
Verified computational algebra in Lean 4: aggregator for the released hex libraries
Mathlib correspondence proofs for hex-lll
LLL lattice reduction for the hex project (optional fpLLL FFI). Mathlib-free.
Mathlib correspondence proofs for hex-gram-schmidt
Loading…
