Standard Library for Lean 4
active 2024-02-14 → 2024-02-18 (UTC)
Partial coverage20,503 / 26,259 hourly files (78%) · 2 absent upstream · 5,753 failed, retryable2023-08-15 → 2026-08-13 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
63
Pushes
17
Pull requests
12
Issues
1
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 5 days from 2024-02-14 to 2024-02-18. Pushes: 17 total, peak 8 in a day. Pull requests: 12 total, peak 6 in a day. Issues: 1 total, peak 1 in a day. Comments: 22 total, peak 14 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 | 41 | 14 | 10 | 13 |
| bollu | 10 | 3 | 2 | 4 |
| tobiasgrosser | 7 | 0 | 0 | 5 |
Recent activity
Latest issues, pull requests and releases
- Issue#32alexkeizer2024-02-18 09:24`ofInt_toInt`
- Issue comment#24alexkeizer2024-02-18 09:21feat: add ult_ofNat
- Pull request#25alexkeizer2024-02-17 15:45
- Pull request#30alexkeizer2024-02-17 15:36
- Issue comment#30alexkeizer2024-02-17 15:36feat: simp-lemmas about `BitVec.cast`
- Issue comment#18alexkeizer2024-02-17 13:33feat: `BitVec.toFin_not` lemma
- Pull request#18alexkeizer2024-02-17 13:33
- Pull request#25alexkeizer2024-02-17 13:32
- Issue comment#25alexkeizer2024-02-17 13:32feat: `BitVec.toFin_ofNat` lemma
- Pull request#25alexkeizer2024-02-17 13:32
- Issue comment#31alexkeizer2024-02-17 13:31feat: establish `allOnes` as simp normal form
- Pull request#31alexkeizer2024-02-17 13:30
- Issue comment#28tobiasgrosser2024-02-17 06:57feat: add simp lemmas to rewrite msb into getLsb into decide
- Pull request#30alexkeizer2024-02-15 22:19
- Issue comment#21alexkeizer2024-02-15 22:11feat: teach omega that 2^(n.succ) = 2^n + 2^n
- Issue comment#28alexkeizer2024-02-15 20:35feat: add simp lemmas to rewrite msb into getLsb into decide
- Issue comment#23alexkeizer2024-02-14 23:15feat: add `ofInt_ofNat`
- Issue comment#22alexkeizer2024-02-14 23:13feat: add toFin_shiftLeft
- Pull request#22alexkeizer2024-02-14 23:13
- Issue comment#19alexkeizer2024-02-14 23:10feat: Add a simp lemma `Nat.cast x = BitVec.ofNat _ x`
- Pull request#19alexkeizer2024-02-14 23:10
- Issue comment#19bollu2024-02-14 22:32feat: Add a simp lemma `Nat.cast x = BitVec.ofNat _ x`
- Issue comment#24bollu2024-02-14 22:26feat: add ult_ofNat
- Issue comment#23bollu2024-02-14 22:26feat: add `ofInt_ofNat`
- Pull request#25alexkeizer2024-02-14 20:56
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.