Lean

cslib Public
The Lean Computer Science Library (CSLib)

leanprover/cslib's past year of commit activity

Lean 785 Apache-2.0 218 51 164 Updated Oct 30, 2026
lean4 Public
Lean 4 programming language and theorem prover

leanprover/lean4's past year of commit activity

Lean 9,761 Apache-2.0 1,078 1,138 (6 issues need help) 757 Updated Oct 30, 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 Oct 30, 2026
downstream-lean4 Public
A collection of packages downstream of Lean 4.

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

Lean 6 6 0 46 Updated Oct 30, 2026
lean-workbench Public
Online Lean Workbench

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

TypeScript 11 Apache-2.0 1 37 3 Updated Oct 30, 2026
verso-web-components Public
A collection of reusable components from the Lean website designed build related sites with the same look and feel.

leanprover/verso-web-components's past year of commit activity

Lean 3 Apache-2.0 1 0 2 Updated Oct 31, 2026
lean-kernel-arena Public

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

Lean 54 Apache-2.0 38 0 0 Updated Oct 30, 2026
reference-manual Public
The Lean reference manual

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

Lean 136 Apache-2.0 69 117 24 Updated Oct 30, 2026
verso Public
Lean documentation authoring tool

leanprover/verso's past year of commit activity

Lean 403 Apache-2.0 129 75 10 Updated Oct 30, 2026
doc-gen4 Public
Document Generator for Lean 4

leanprover/doc-gen4's past year of commit activity

Lean 176 Apache-2.0 75 30 (2 issues need help) 13 Updated Oct 30, 2026

View all repositories

Navigation Menu

Pinned Loading

Repositories

Uh oh!

Uh oh!

People

Top languages

Most used topics

📋 Server Request & Proxy Logs

⚙️ Pengaturan Proxy Target

Pinned Loading

Repositories

Uh oh!

Uh oh!

People

Top languages

Most used topics