There was an error while loading. Please reload this page.
Lean 4 programming language and theorem prover
Lean 9k 964
The Lean reference manual
Automated releases from leanprover/lean4 PRs
A collection of packages downstream of Lean 4.
The Lean Computer Science Library (CSLib)
Online Lean Workbench
Lean documentation authoring tool
Nightly builds
Mathlib-free test and oracle helpers for the hex libraries.
Mathlib correspondence layer for hex-sparse-poly
Loading…
