https://github.com/leanprover/lean4
lean lean4
Score: -Infinity
Last synced: about 18 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 (about 8 years ago)
- Default Branch: master
- Last Pushed: 2026-04-24T22:49:35.000Z (about 2 months ago)
- Last Synced: 2026-04-25T02:14:24.403Z (about 2 months ago)
- Topics: lean, lean4
- Language: Lean
- Homepage: https://lean-lang.org
- Size: 5.23 GB
- Stars: 7,896
- Watchers: 76
- Forks: 826
- Open Issues: 1,441
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Codeowners: CODEOWNERS
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: 2 months ago
Total Commits: 39,543
Total Committers: 271
Avg Commits per committer: 145.915
Development Distribution Score (DDS): 0.403
Commits in past year: 4,306
Committers in past year: 101
Avg Commits per committer in past year: 42.634
Development Distribution Score (DDS) in past year: 0.817
| Name | Commits | |
|---|---|---|
| Leonardo de Moura | l****o@m****m | 23624 |
| Sebastian Ullrich | s****i@n****h | 4853 |
| Kim Morrison | s****n@g****m | 1437 |
| tydeu | t****u@h****t | 1057 |
| Gabriel Ebner | g****r@g****g | 1013 |
| Soonho Kong | s****k@c****u | 826 |
| Joachim Breitner | m****l@j****e | 576 |
| Mario Carneiro | d****a@g****m | 439 |
| Jeremy Avigad | a****d@c****u | 419 |
| Henrik Böving | h****x@g****m | 405 |
| Lean stage0 autoupdater | 372 | |
| Kyle Miller | k****5@g****m | 345 |
| Cameron Zwarich | c****n@l****g | 335 |
| Wojciech Nawrocki | w****i@p****m | 326 |
| Floris van Doorn | f****v@a****u | 266 |
| Markus Himmel | m****s@l****g | 242 |
| Daniel Selsam | d****m@g****m | 225 |
| Marc Huisinga | m****i@p****m | 195 |
| Paul Reichert | 6****t | 158 |
| Jakob von Raumer | j****a@w****e | 145 |
| Daniel Selsam | d****m@p****m | 142 |
| Sebastian Graf | s****7@g****m | 133 |
| David Thrane Christiansen | d****d@d****k | 132 |
| E.W.Ayers | e****s@o****m | 118 |
| Siddharth | s****d@g****m | 100 |
| Eric Wieser | w****c@g****m | 76 |
| Rob Lewis | r****s@g****m | 71 |
| Wojciech Różowski | w****h@l****g | 67 |
| Rob23oba | 1****a | 62 |
| jrr6 | 7****6 | 53 |
| and 241 more... | ||
Issue and Pull Request metadata
Last synced: about 2 months ago
Total issues: 1,420
Total pull requests: 7,029
Average time to close issues: 5 months
Average time to close pull requests: 7 days
Total issue authors: 302
Total pull request authors: 191
Average comments per issue: 1.23
Average comments per pull request: 1.64
Merged pull request: 4,864
Bot issues: 1
Bot pull requests: 97
Past year issues: 319
Past year pull requests: 2,284
Past year average time to close issues: 10 days
Past year average time to close pull requests: 1 day
Past year issue authors: 109
Past year pull request authors: 79
Past year average comments per issue: 0.7
Past year average comments per pull request: 1.52
Past year merged pull request: 1,436
Past year bot issues: 0
Past year bot pull requests: 29
Top Issue Authors
- nomeata (147)
- TwoFX (65)
- eric-wieser (59)
- Kha (47)
- semorrison (46)
- kmill (44)
- Rob23oba (39)
- digama0 (35)
- fpvandoorn (30)
- kim-em (30)
- hargoniX (26)
- b-mehta (23)
- JovanGerb (22)
- david-christiansen (22)
- cppio (22)
Top Pull Request Authors
- leodemoura (1,042)
- kim-em (831)
- Kha (725)
- nomeata (485)
- kmill (437)
- semorrison (425)
- zwarich (398)
- tydeu (301)
- hargoniX (288)
- TwoFX (189)
- datokrat (166)
- mhuisi (119)
- david-christiansen (105)
- bollu (105)
- Rob23oba (95)
Top Issue Labels
- bug (962)
- RFC (198)
- P-medium (123)
- P-low (52)
- Lake (51)
- toolchain-available (43)
- P-high (42)
- enhancement (29)
- server (20)
- feature (16)
- builds-mathlib (13)
- closing soon (12)
- RFC accepted (10)
- new-user-papercuts (10)
- fixed by new code generator (9)
- changelog-language (9)
- low priority (8)
- help wanted (7)
- error message (5)
- awaiting-review (5)
- depends on new code generator (4)
- changelog-no (4)
- changelog-library (3)
- Mathlib4 high prio (3)
- documentation (3)
- nice to have (3)
- postponed (2)
- lean4_release (2)
- performance (2)
- awaiting-author (2)
Top Pull Request Labels
- toolchain-available (5,157)
- builds-mathlib (1,259)
- changelog-language (1,231)
- changelog-library (785)
- changelog-no (483)
- breaks-mathlib (260)
- will-merge-soon (247)
- release-ci (221)
- changelog-compiler (187)
- awaiting-review (185)
- changelog-lake (124)
- full-ci (117)
- changelog-server (70)
- awaiting-author (63)
- changelog-doc (60)
- merge-ci (55)
- P-medium (53)
- changelog-pp (48)
- changes-stage0 (48)
- force-mathlib-ci (45)
- changelog-other (42)
- changelog-tactics (41)
- bug (35)
- WIP (29)
- documentation (28)
- dependencies (25)
- awaiting-mathlib (23)
- builds-manual (22)
- P-high (21)
- backport releases/v4.20.0 (15)
Package metadata
- Total packages: 1
- Total downloads: unknown
- Total dependent packages: 0
- Total dependent repositories: 0
- Total versions: 115
proxy.golang.org: github.com/leanprover/lean4
- Homepage:
- Documentation: https://pkg.go.dev/github.com/leanprover/lean4#section-documentation
- Licenses:
- Latest release: v4.29.0+incompatible (published 2 months ago)
- Last Synced: 2026-04-07T16:50:28.289Z (2 months ago)
- Versions: 115
- Dependent Packages: 0
- Dependent Repositories: 0
-
Rankings:
- Dependent packages count: 5.124%
- Average: 5.296%
- Dependent repos count: 5.468%
Dependencies
- tibdex/backport v2 composite
- 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
- actions/github-script v6 composite
- 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
- 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
- actions/stale v8 composite
- actions/github-script v7 composite
- DeterminateSystems/nix-installer-action main composite
- actions/checkout v3 composite
- cachix/cachix-action v12 composite
- actions/checkout v3 composite
- raven-actions/actionlint v1 composite