Standard Library for Lean 4
active 2023-11-09 → 2024-02-14 (UTC)
Complete coverage26,544 / 26,544 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-24 (UTC)
Events
98
Pushes
50
Pull requests
34
Issues
0
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 98 days from 2023-11-09 to 2024-02-14. Pushes: 50 total, peak 16 in a day. Pull requests: 34 total, peak 5 in a day. Issues: 0 total, peak 0 in a day. Comments: 0 total, peak 0 in a day. Stars: 0 total, peak 0 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 |
|---|---|---|---|---|
| alexkeizer | 50 | 41 | 9 | 0 |
| pull[bot] | 34 | 9 | 25 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#19alexkeizer2024-02-14 17:52
- Pull request#18alexkeizer2024-02-14 15:13
- Pull request#17alexkeizer2024-02-14 11:21
- Pull request#14alexkeizer2024-02-14 11:21
- Pull request#17pull[bot]2024-02-14 09:31
- Pull request#16alexkeizer2024-02-13 22:07
- Pull request#15pull[bot]2024-02-13 07:42
- Pull request#15pull[bot]2024-02-13 06:48
- Pull request#14alexkeizer2024-02-12 23:02
- Pull request#13alexkeizer2024-02-12 12:24
- Pull request#12pull[bot]2024-02-08 22:56
- Pull request#12pull[bot]2024-02-08 15:42
- Pull request#11alexkeizer2024-02-07 09:55
- Pull request#11pull[bot]2023-12-20 13:19
- Pull request#10pull[bot]2023-12-17 06:45
- Pull request#10pull[bot]2023-12-17 04:37
- Pull request#9pull[bot]2023-12-14 08:09
- Pull request#9pull[bot]2023-12-14 06:36
- Pull request#8pull[bot]2023-12-13 19:41
- Pull request#8pull[bot]2023-12-13 19:36
- Pull request#7pull[bot]2023-12-12 00:15
- Pull request#7pull[bot]2023-12-11 22:53
- Pull request#6pull[bot]2023-12-10 06:11
- Pull request#6pull[bot]2023-12-10 06:07
- Pull request#5pull[bot]2023-12-09 03:14
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.