Standard Library for Lean 4
active 2024-02-12 → 2024-02-14 (UTC)
Complete coverage26,452 / 26,452 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-21 (UTC)
Events
78
Pushes
22
Pull requests
6
Issues
0
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 3 days from 2024-02-12 to 2024-02-14. Pushes: 22 total, peak 14 in a day. Pull requests: 6 total, peak 3 in a day. Issues: 0 total, peak 0 in a day. Comments: 24 total, peak 20 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 |
|---|---|---|---|---|
| bollu | 45 | 21 | 6 | 9 |
| alexkeizer | 17 | 1 | 0 | 11 |
| tobiasgrosser | 8 | 0 | 0 | 4 |
Recent activity
Latest issues, pull requests and releases
- Pull request#5bollu2024-02-14 01:09
- Pull request#4bollu2024-02-13 23:37
- Pull request#3bollu2024-02-13 21:58
- Issue comment#2bollu2024-02-13 21:50feat: BitVec.ofNat 1 n = BitVec.ofBool (n % 2 = 1)
- Pull request#2bollu2024-02-13 21:50
- Issue comment#2alexkeizer2024-02-12 20:28feat: BitVec.ofNat 1 n = BitVec.ofBool (n % 2 = 1)
- Pull request#2bollu2024-02-12 17:50
- Pull request#1bollu2024-02-12 16:51
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.