Neural Network Inference in Lean 4
active 2023-09-09 → 2023-12-06 (UTC)
Partial coverage20,530 / 26,286 hourly files (78%) · 2 absent upstream · 5,753 failed, retryable2023-08-15 → 2026-08-14 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
490
Pushes
235
Pull requests
39
Issues
4
Stars
49
Forks
1
Activity over time
Daily event counts in the loaded window
Line chart, 89 days from 2023-09-09 to 2023-12-06. Pushes: 235 total, peak 24 in a day. Pull requests: 39 total, peak 8 in a day. Issues: 4 total, peak 2 in a day. Comments: 46 total, peak 9 in a day. Stars: 49 total, peak 4 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 |
|---|---|---|---|---|
| yangky11 | 250 | 184 | 32 | 23 |
| Peiyang-Song | 71 | 51 | 3 | 11 |
| tydeu | 9 | 0 | 3 | 6 |
| utensil | 3 | 0 | 0 | 3 |
| samminweng | 2 | 0 | 0 | 2 |
| alreadydone | 1 | 0 | 0 | 1 |
| semorrison | 1 | 0 | 1 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue#30yangky112023-12-05 07:00CI
- Issue comment#30Peiyang-Song2023-12-05 03:17CI
- Issue comment#34Peiyang-Song2023-12-05 03:16Set up CI
- Issue comment#34Peiyang-Song2023-12-05 03:13Set up CI
- Pull request#32yangky112023-11-30 23:39
- Issue comment#32Peiyang-Song2023-11-30 05:26Add rich premise info
- Issue comment#32yangky112023-11-30 03:53Add rich premise info
- Issue comment#31yangky112023-11-29 04:12Windows Support
- Issue comment#31yangky112023-11-29 04:03Windows Support
- Issue comment#31alreadydone2023-11-29 03:34Windows Support
- Issue#31yangky112023-11-29 03:03Windows Support
- Pull request#27yangky112023-11-29 02:46
- Pull request#27Peiyang-Song2023-11-24 02:10
- Issue#24yangky112023-11-18 03:07Errors caused by breaking changes in `lean4:v4.3.0-rc2`
- Issue comment#24yangky112023-11-18 03:07Errors caused by breaking changes in `lean4:v4.3.0-rc2`
- Issue comment#24tydeu2023-11-18 03:03Errors caused by breaking changes in `lean4:v4.3.0-rc2`
- Issue comment#24yangky112023-11-18 02:58Errors caused by breaking changes in `lean4:v4.3.0-rc2`
- Issue#24yangky112023-11-18 02:54Errors caused by breaking changes in `lean4:v4.3.0-rc2`
- Pull request#23yangky112023-11-18 02:38
- Pull request#23yangky112023-11-18 02:38
- Pull request#22yangky112023-11-18 02:29
- Pull request#22yangky112023-11-18 02:29
- Pull request#21yangky112023-11-18 02:20
- Pull request#21yangky112023-11-18 02:20
- Pull request#20yangky112023-11-18 02:01
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 49 stars here means stars gained during the window, not the repo's star count.