Lean

Lean documentation authoring tool

Lean 4 programming language and theorem prover

Nightly builds

Submission pipeline and results store for the lean-eval benchmark (https://github.com/leanprover/lean-eval)

A collection of packages downstream of Lean 4.

Comparator-based Lean formal mathematics eval

Automated releases from leanprover/lean4 PRs

The Lean reference manual

Online Lean Workbench

Executable row reduction (RREF) and span/nullspace over hex-matrix. Mathlib-free. Published from hex-dev.