◐ Shell reader mode source ↗

Lean

Lean Prover

Pinned Loading

lean4 lean4 Public

Lean 4 programming language and theorem prover

Lean 8.3k 880

Repositories

Type

Language

Sort

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

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

Lean 0 0 0 0 Updated Jun 21, 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 Jun 21, 2026
lean4 Public
Lean 4 programming language and theorem prover

leanprover/lean4’s past year of commit activity

Lean 8,296 Apache-2.0 880 931 (6 issues need help) 568 Updated Jun 21, 2026
verso-blueprint Public
Build structured Proof Blueprints with Verso

Lean 16 0 0 3 Updated Jun 21, 2026
lean-eval-submissions Public
Submission pipeline and results store for the lean-eval benchmark (https://github.com/leanprover/lean-eval)

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

Python 6 Apache-2.0 1 0 0 Updated Jun 21, 2026
reference-manual Public
The Lean reference manual

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

Lean 117 Apache-2.0 60 106 16 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
lean4-nightly Public
Nightly builds

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

23 3 0 0 Updated Jun 21, 2026
lean-eval-leaderboard Public
Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)

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

View all repositories

People

Top languages

Loading…

Most used topics

Loading…