Lean

38

Apache-2.0

40 3 18

Updated Aug 17, 2026

leanprover/lean-eval-leaderboard's past year of commit activity

Lean

18

Apache-2.0

6 2 1

Updated Aug 17, 2026

lean4 Public

Lean 4 programming language and theorem prover

leanprover/lean4's past year of commit activity

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

23 3 0 0

Updated Aug 17, 2026

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

Lean

39 25 0 1

Updated Aug 17, 2026

cslib Public

The Lean Computer Science Library (CSLib)

leanprover/cslib's past year of commit activity

Lean

4

Apache-2.0

0 0 0

Updated Aug 17, 2026

leanprover/lean-eval-submissions's past year of commit activity

Python

6

Apache-2.0

2 3 0

Updated Aug 17, 2026

leanprover/leansqlite's past year of commit activity

C

52

Apache-2.0

3 0 1

Updated Aug 17, 2026

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

Lean

1 1 0 5

Updated Aug 17, 2026