https://github.com/leanprover/lean4

lean lean4

Score: -Infinity

Last synced: about 11 hours ago
JSON representation

Repository metadata:

Lean 4 programming language and theorem prover

Host: GitHub
URL: https://github.com/leanprover/lean4
Owner: leanprover
License: apache-2.0
Created: 2018-04-15T02:49:20.000Z (over 8 years ago)
Default Branch: master
Last Pushed: 2026-08-15T15:28:43.000Z (7 days ago)
Last Synced: 2026-08-15T17:08:55.916Z (7 days ago)
Topics: lean, lean4
Language: Lean
Homepage: https://lean-lang.org
Size: 6.04 GB
Stars: 8,788
Watchers: 83
Forks: 934
Open Issues: 1,605
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Codeowners: CODEOWNERS
- Agents: AGENTS.md

Owner metadata:

Name: Lean
Login: leanprover
Email:
Kind: organization
Description: Lean Prover
Website: https://lean-lang.org/
Location:
Twitter: leanprover
Company:
Icon url: https://avatars.githubusercontent.com/u/7233018?v=4
Repositories: 54
Last Synced at: 2024-04-28T02:27:48.703Z
Profile URL: https://github.com/leanprover

GitHub Events

Total

Commit comment event: 14
Create event: 4419
Delete event: 2987
Fork event: 221
Issue comment event: 6587
Issues event: 864
Member event: 1
Pull request event: 5529
Pull request review comment event: 3075
Pull request review event: 2950
Push event: 5977
Release event: 31
Watch event: 1353
Total: 34008

Last Year

Commit comment event: 14
Create event: 4428
Delete event: 2992
Fork event: 222
Issue comment event: 6601
Issues event: 865
Member event: 1
Pull request event: 5545
Pull request review comment event: 3077
Pull request review event: 2952
Push event: 5984
Release event: 31
Watch event: 1355
Total: 34067

Committers metadata

Last synced: 22 days ago

Total Commits: 40,851
Total Committers: 290
Avg Commits per committer: 140.866
Development Distribution Score (DDS): 0.419

Commits in past year: 3,695
Committers in past year: 101
Avg Commits per committer in past year: 36.584
Development Distribution Score (DDS) in past year: 0.844

Name	Email	Commits
Leonardo de Moura	l**o@m**m	23742
Sebastian Ullrich	s**i@n**h	5006
Kim Morrison	s**n@g**m	1533
tydeu	t**u@h**t	1128
Gabriel Ebner	g**r@g**g	1013
Soonho Kong	s**k@c**u	826
Joachim Breitner	m**l@j**e	638
Henrik Böving	h**x@g**m	512
Lean stage0 autoupdater		484
Mario Carneiro	d**a@g**m	439
Jeremy Avigad	a**d@c**u	419
Kyle Miller	k**5@g**m	381
Markus Himmel	m**s@l**g	336
Cameron Zwarich	c**n@l**g	335
Wojciech Nawrocki	w**i@p**m	331
Sebastian Graf	s**7@g**m	285
Floris van Doorn	f**v@a**u	266
Daniel Selsam	d**m@g**m	225
Marc Huisinga	m**i@p**m	199
Paul Reichert	6****t	184
Wojciech Różowski	w**h@l**g	153
David Thrane Christiansen	d**d@d**k	151
Jakob von Raumer	j**a@w**e	145
Daniel Selsam	d**m@p**m	142
E.W.Ayers	e**s@o**m	118
Garmelon	j**a@p**e	104
Siddharth	s**d@g**m	100
Eric Wieser	e**w@g**m	94
Rob Lewis	r**s@g**m	71
Rob23oba	1****a	65
and 260 more...

Issue and Pull Request metadata

Last synced: about 15 hours ago

Total issues: 1,471
Total pull requests: 7,301
Average time to close issues: 5 months
Average time to close pull requests: 8 days
Total issue authors: 325
Total pull request authors: 211
Average comments per issue: 1.27
Average comments per pull request: 1.72
Merged pull request: 5,014
Bot issues: 1
Bot pull requests: 104

Past year issues: 143
Past year pull requests: 740
Past year average time to close issues: 26 days
Past year average time to close pull requests: 6 days
Past year issue authors: 68
Past year pull request authors: 54
Past year average comments per issue: 0.78
Past year average comments per pull request: 2.15
Past year merged pull request: 404
Past year bot issues: 0
Past year bot pull requests: 13

More stats: https://issues.ecosyste.ms/repositories/lookup?url=https://github.com/leanprover/lean4

Top Issue Authors

nomeata (148)
TwoFX (67)
eric-wieser (59)
Kha (48)
semorrison (46)
kmill (44)
Rob23oba (40)
digama0 (35)
kim-em (33)
fpvandoorn (30)
hargoniX (27)
b-mehta (23)
david-christiansen (23)
cppio (22)
JovanGerb (22)

Top Pull Request Authors

leodemoura (1,074)
kim-em (835)
Kha (741)
nomeata (487)
kmill (439)
semorrison (425)
zwarich (397)
hargoniX (312)
tydeu (310)
TwoFX (197)
datokrat (172)
sgraf812 (144)
mhuisi (119)
Rob23oba (108)
david-christiansen (105)

Top Issue Labels

bug (998)
RFC (203)
P-medium (132)
Lake (61)
P-low (53)
P-high (47)
toolchain-available (43)
enhancement (30)
server (20)
feature (16)
builds-mathlib (13)
closing soon (12)
new-user-papercuts (11)
RFC accepted (10)
changelog-language (9)
fixed by new code generator (9)
help wanted (8)
low priority (8)
error message (5)
awaiting-review (5)
awaiting-author (4)
depends on new code generator (4)
changelog-no (4)
nice to have (3)
documentation (3)
changelog-library (3)
Mathlib4 high prio (3)
lean4_release (2)
performance (2)
pr-welcome (2)

Top Pull Request Labels

toolchain-available (5,411)
builds-mathlib (1,319)
changelog-language (1,270)
changelog-library (818)
changelog-no (501)
breaks-mathlib (273)
will-merge-soon (247)
release-ci (228)
changelog-compiler (201)
awaiting-review (187)
changelog-lake (141)
full-ci (117)
changelog-tactics (83)
mathlib4-nightly-available (74)
changelog-server (70)
awaiting-author (65)
changelog-doc (60)
P-medium (56)
merge-ci (56)
changelog-other (56)
force-mathlib-ci (50)
changelog-pp (50)
changes-stage0 (49)
builds-manual (47)
bug (35)
dependencies (30)
WIP (30)
documentation (28)
awaiting-mathlib (23)
P-high (22)

Package metadata

Total packages: 2
Total downloads: unknown
Total dependent packages: 0 (may contain duplicates)
Total dependent repositories: 0 (may contain duplicates)
Total versions: 280

proxy.golang.org: github.com/Leanprover/lean4

Homepage:
Documentation: https://pkg.go.dev/github.com/Leanprover/lean4#section-documentation
Licenses: apache-2.0
Latest release: v4.33.0+incompatible (published 10 days ago)
Last Synced: 2026-08-20T21:38:09.001Z (1 day ago)
Versions: 140
Dependent Packages: 0
Dependent Repositories: 0
Rankings:
- Dependent packages count: 4.524%
- Average: 4.677%
- Dependent repos count: 4.829%

proxy.golang.org: github.com/leanprover/lean4

Homepage:
Documentation: https://pkg.go.dev/github.com/leanprover/lean4#section-documentation
Licenses: apache-2.0
Latest release: v4.33.0+incompatible (published 10 days ago)
Last Synced: 2026-08-20T21:39:36.331Z (1 day ago)
Versions: 140
Dependent Packages: 0
Dependent Repositories: 0
Rankings:
- Dependent packages count: 5.124%
- Average: 5.296%
- Dependent repos count: 5.468%

Dependencies

.github/workflows/backport.yml actions

tibdex/backport v2 composite

.github/workflows/ci.yml actions

actions/cache v3 composite
actions/checkout v3 composite
actions/download-artifact v3 composite
actions/upload-artifact v3 composite
cachix/install-nix-action v18 composite
msys2/setup-msys2 v2 composite
mymindstorm/setup-emsdk v11 composite
softprops/action-gh-release v1 composite

.github/workflows/labels-from-comments.yml actions

actions/github-script v6 composite

.github/workflows/nix-ci.yml actions

actions/cache v3 composite
actions/checkout v3 composite
cachix/cachix-action v12 composite
cachix/install-nix-action v18 composite
peaceiris/actions-gh-pages v3 composite

.github/workflows/pr-release.yml actions

actions-ecosystem/action-add-labels v1 composite
actions/checkout v3 composite
actions/checkout v2 composite
dawidd6/action-download-artifact v2 composite
potiuk/get-workflow-origin v1_1 composite
softprops/action-gh-release v1 composite

.github/workflows/stale.yml actions

actions/stale v8 composite

.github/workflows/pr-title.yml actions

actions/github-script v7 composite

.github/workflows/update-stage0.yml actions

DeterminateSystems/nix-installer-action main composite
actions/checkout v3 composite
cachix/cachix-action v12 composite

.github/workflows/actionlint.yml actions

actions/checkout v3 composite
raven-actions/actionlint v1 composite

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Summary