Lean

lean4-pr-releases Public
Automated releases from leanprover/lean4 PRs

leanprover/lean4-pr-releases’s past year of commit activity

2 3 0 0 Updated Oct 11, 2025
lean4-nightly Public
Nightly builds

leanprover/lean4-nightly’s past year of commit activity

23 3 0 1 Updated Oct 11, 2025
lean4 Public
Lean 4 programming language and theorem prover

leanprover/lean4’s past year of commit activity

Lean 6,557 Apache-2.0 676 752 (6 issues need help) 321 Updated Oct 11, 2025
reservoir Public
Package registry for Lean/Lake.

leanprover/reservoir’s past year of commit activity

Vue 26 Apache-2.0 6 10 2 Updated Oct 11, 2025
reference-manual Public
The Lean reference manual

leanprover/reference-manual’s past year of commit activity

Lean 81 Apache-2.0 40 92 10 Updated Oct 11, 2025
KLR Public
A formalization of ML kernel languages

leanprover/KLR’s past year of commit activity

C 28 Apache-2.0 8 7 6 Updated Oct 11, 2025
verso Public
Lean documentation authoring tool

leanprover/verso’s past year of commit activity

JavaScript 225 Apache-2.0 95 49 7 Updated Oct 10, 2025
subverso Public

leanprover/subverso’s past year of commit activity

Lean 6 Apache-2.0 6 4 1 Updated Oct 10, 2025
cslib Public
A Lean library for Computer Science

leanprover/cslib’s past year of commit activity

Lean 138 Apache-2.0 21 9 10 Updated Oct 10, 2025
TensorLib Public
A verified tensor library in Lean

leanprover/TensorLib’s past year of commit activity

Lean 30 Apache-2.0 7 2 0 Updated Oct 9, 2025

Provide feedback