Lean

downstream-lean4 Public
A collection of packages downstream of Lean 4.

leanprover/downstream-lean4's past year of commit activity

Lean 7 6 0 45 Updated Nov 8, 2026
cslib Public
The Lean Computer Science Library (CSLib)

leanprover/cslib's past year of commit activity

Lean 800 Apache-2.0 222 50 168 Updated Nov 8, 2026
lean4-pr-releases Public
Automated releases from leanprover/lean4 PRs

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

3 3 0 0 Updated Nov 8, 2026
lean4 Public
Lean 4 programming language and theorem prover

leanprover/lean4's past year of commit activity

Lean 9,917 Apache-2.0 1,096 1,170 (6 issues need help) 762 Updated Nov 8, 2026
lean-kernel-arena Public

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

Lean 59 Apache-2.0 41 0 0 Updated Nov 8, 2026
con-ron Public
A rust port of con-leche

leanprover/con-ron's past year of commit activity

Lean 36 Apache-2.0 5 0 0 Updated Nov 8, 2026
lean4-nightly Public
Nightly builds

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

23 3 0 0 Updated Nov 8, 2026
con-leche Public
An external lean checker with a proof of consistency

leanprover/con-leche's past year of commit activity

Lean 148 Apache-2.0 11 1 2 Updated Nov 8, 2026
reservoir-index Public
Registry index for Reservoir

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

Lean 9 3 1 0 Updated Nov 7, 2026
lean-beam Public
Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.

leanprover/lean-beam's past year of commit activity

Lean 47 Apache-2.0 5 19 21 Updated Nov 7, 2026

View all repositories

Navigation Menu

Pinned Loading

Repositories

Uh oh!

Uh oh!

People

Top languages

Most used topics