Stdlib for the Rocq Prover
active 2025-01-10 → 2025-03-16 (UTC)
Partial coverage13,935 / 16,690 hourly files (83%) · 2 absent upstream · 2,754 failed, retryable2024-09-15 → 2026-08-11 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
53
Pushes
24
Pull requests
13
Issues
1
Stars
2
Forks
2
Activity over time
Daily event counts in the loaded window
Line chart, 66 days from 2025-01-10 to 2025-03-16. Pushes: 24 total, peak 5 in a day. Pull requests: 13 total, peak 3 in a day. Issues: 1 total, peak 1 in a day. Comments: 7 total, peak 3 in a day. Stars: 2 total, peak 1 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 |
|---|---|---|---|---|
| proux01 | 34 | 21 | 10 | 3 |
| mattam82 | 5 | 2 | 2 | 1 |
| JasonGross | 2 | 1 | 1 | 0 |
| Janno | 1 | 0 | 0 | 0 |
| Zimmi48 | 1 | 0 | 0 | 1 |
| NicholasBHubbard | 1 | 0 | 0 | 1 |
| SkySkimmer | 1 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#119SkySkimmer2025-03-16 12:24Subtraction in NatInt
- Releaseproux012025-03-13 06:13Stdlib 9.0.0
- Pull request#122proux012025-03-13 06:11
- Pull request#115JasonGross2025-03-04 03:38
- Pull request#114proux012025-03-02 16:06
- Issue#103Janno2025-02-08 13:24NArithRing no longer exported from NArith
- Pull request#101proux012025-02-01 12:07
- Pull request#101proux012025-01-31 08:53
- Pull request#100proux012025-01-31 08:40
- Pull request#100mattam822025-01-31 08:06
- Issue comment#87proux012025-01-25 11:13Header and footer for new website (rocq-prover.org) integration
- Pull request#87mattam822025-01-25 10:58
- Issue comment#87mattam822025-01-25 10:58Header and footer for new website (rocq-prover.org) integration
- Pull request#94proux012025-01-24 06:51
- Pull request#86proux012025-01-19 09:42
- Issue comment#75proux012025-01-18 16:03add lemma length_app_comm
- Pull request#75proux012025-01-18 16:03
- Issue comment#86Zimmi482025-01-18 15:19[CI] Add 9.0
- Pull request#86proux012025-01-18 14:04
- Issue comment#75proux012025-01-18 13:38add lemma length_app_comm
- Pull request#82proux012025-01-18 13:33
- Issue comment#75NicholasBHubbard2025-01-15 22:37add lemma length_app_comm
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 2 stars here means stars gained during the window, not the repo's star count.