Standard Library for Lean 4
active 2023-09-20 → 2024-05-07 (UTC)
Partial coverage19,723 / 25,386 hourly files (78%) · 2 absent upstream · 5,660 failed, retryable2023-09-20 → 2026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
5.5K
Pushes
1.6K
Pull requests
660
Issues
40
Stars
54
Forks
27
Activity over time
Daily event counts in the loaded window
Line chart, 231 days from 2023-09-20 to 2024-05-07. Pushes: 1,576 total, peak 44 in a day. Pull requests: 660 total, peak 22 in a day. Issues: 40 total, peak 2 in a day. Comments: 1,588 total, peak 65 in a day. Stars: 54 total, peak 3 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| semorrison | 1.6K | 543 | 292 | 424 |
| digama0 | 858 | 164 | 127 | 334 |
| joehendrix | 693 | 278 | 120 | 145 |
| leanprover-community-mathlib4-bot | 568 | 568 | 0 | 0 |
| fgdorais | 492 | 2 | 28 | 282 |
| eric-wieser | 94 | 0 | 1 | 50 |
| leodemoura | 69 | 16 | 6 | 26 |
| Vtec234 | 40 | 0 | 4 | 22 |
| chabulhwi | 39 | 0 | 5 | 24 |
| JamesGallicchio | 36 | 0 | 1 | 18 |
| nomeata | 35 | 1 | 5 | 19 |
| somombo | 25 | 0 | 0 | 16 |
| urkud | 24 | 0 | 8 | 16 |
| adomani | 24 | 0 | 3 | 15 |
| Seppel3210 | 23 | 0 | 0 | 13 |
| negiizhao | 22 | 0 | 5 | 15 |
| alexkeizer | 21 | 0 | 6 | 11 |
| dupuisf | 17 | 0 | 4 | 8 |
| kmill | 17 | 4 | 5 | 5 |
| tobiasgrosser | 16 | 0 | 2 | 10 |
Recent activity
Latest issues, pull requests and releases
- Pull request#780semorrison2024-05-07 04:20
- Pull request#783semorrison2024-05-06 23:41
- Pull request#781semorrison2024-05-06 05:59
- Issue comment#781urkud2024-05-04 21:01chore(Data/List): drop `removeNth`
- Issue comment#781urkud2024-05-04 21:01chore(Data/List): drop `removeNth`
- Issue comment#781digama02024-05-04 19:18chore(Data/List): drop `removeNth`
- Issue comment#781urkud2024-05-04 17:21chore(Data/List): drop `removeNth`
- Issue comment#781digama02024-05-04 16:20chore(Data/List): drop `removeNth`
- Issue comment#781urkud2024-05-04 15:27chore(Data/List): drop `removeNth`
- Pull request#781urkud2024-05-04 15:26
- Issue comment#779urkud2024-05-04 02:42Add String.length_join and List.length_join
- Pull request#780semorrison2024-05-03 06:40
- Issue comment#757chabulhwi2024-05-03 06:25feat: add lemmas about `Nat.add` and `List`
- Pull request#757chabulhwi2024-05-03 06:25
- Issue comment#770tjf8012024-05-03 04:57Add `String.length_join` and `List.length_join`
- Issue comment#779tjf8012024-05-03 04:56Add String.length_join and List.length_join
- Pull request#779tjf8012024-05-03 04:56
- Issue comment#770tjf8012024-05-03 04:56Add `String.length_join` and `List.length_join`
- Issue comment#770semorrison2024-05-03 04:43Add `String.length_join` and `List.length_join`
- Pull request#770semorrison2024-05-03 04:38
- Pull request#755semorrison2024-05-03 04:31
- Issue comment#690semorrison2024-05-03 04:28feat: fill in proof of Array.erase_data
- Issue comment#765semorrison2024-05-03 03:59chore: adaptations for leanprover/lean4#3756
- Pull request#765semorrison2024-05-03 03:59
- Issue comment#748semorrison2024-05-03 03:58feat: unbundle array size constraint from hash map bucket array
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 54 stars here means stars gained during the window, not the repo's star count.