Lean

lean4 Public
Lean 4 programming language and theorem prover

leanprover/lean4’s past year of commit activity

Lean 7,091 Apache-2.0 733 821 (6 issues need help) 387 Updated Jan 13, 2026
reference-manual Public
The Lean reference manual

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

Lean 97 Apache-2.0 48 99 16 Updated Jan 13, 2026
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 Jan 13, 2026
KLR Public
A formalization of ML kernel languages

leanprover/KLR’s past year of commit activity

C 39 Apache-2.0 12 7 9 Updated Jan 13, 2026
radar Public
"Do you know how fast you were going?"

leanprover/radar’s past year of commit activity

Java 2 1 0 1 Updated Jan 12, 2026
lean-kernel-arena Public

leanprover/lean-kernel-arena’s past year of commit activity

Python 3 0 0 0 Updated Jan 12, 2026
cslib Public
The Lean Computer Science Library (CSLib)

leanprover/cslib’s past year of commit activity

Lean 228 Apache-2.0 48 15 19 Updated Jan 12, 2026
verso Public
Lean documentation authoring tool

leanprover/verso’s past year of commit activity

JavaScript 246 Apache-2.0 98 53 11 Updated Jan 12, 2026
lean4-nightly Public
Nightly builds

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

23 3 0 0 Updated Jan 12, 2026
reservoir-index Public
Registry index for Reservoir

leanprover/reservoir-index’s past year of commit activity

Lean 5 3 0 0 Updated Jan 11, 2026

Provide feedback