Lean

@leanprover

Pinned Loading

Showing 10 of 108 repositories

lean4 Public
Lean 4 programming language and theorem prover

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

Lean
117
Apache-2.0
60 106 16
Updated Jun 21, 2026
leanprover/downstream-lean4’s past year of commit activity

Lean 0 0
0 0
Updated Jun 21, 2026
leanprover/lean-eval-submissions’s past year of commit activity

Python
6
Apache-2.0
1 1 0
Updated Jun 21, 2026
cslib Public
The Lean Computer Science Library (CSLib)

leanprover/cslib’s past year of commit activity

Lean
596
Apache-2.0
161 45 72
Updated Jun 21, 2026
leanprover/lean4-nightly’s past year of commit activity

23 3 0 0
Updated Jun 21, 2026
leanprover/lean-eval-leaderboard’s past year of commit activity

Lean
15
Apache-2.0
6 1 0
Updated Jun 21, 2026
lean-eval Public
Comparator-based Lean formal mathematics eval

leanprover/lean-eval’s past year of commit activity

Lean
24
Apache-2.0
22 1 9
Updated Jun 21, 2026
leanprover/verso-blueprint’s past year of commit activity

Lean
16
0
0 1
Updated Jun 21, 2026
leanprover/reservoir-index’s past year of commit activity

Lean
8 3 1 0
Updated Jun 20, 2026

Loading…