Activity and trending
Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending
Aug 20 – Oct 9, 2026
Stars +2 in 51 days
2
Forks +0 in 51 days
Merged PRs 11 in 51 days
3
Trendshift Trendingwhere the repository ranked each day it made the top 25
Top 25 in Rocq Prover
11191071197151287
Aug 20Aug 27Sep 3Sep 10Sep 17Sep 24Oct 1Oct 8
| Day | Stars gained | Forks gained | Merged PRs | Rocq Prover |
|---|---|---|---|---|
| Thu, Aug 20, 2026 | +0 | +0 | 0 | #11 |
| Fri, Aug 21, 2026 | No figure | No figure | No figure | Not trending |
| Sat, Aug 22, 2026 | No figure | No figure | No figure | Not trending |
| Sun, Aug 23, 2026 | No figure | No figure | No figure | Not trending |
| Mon, Aug 24, 2026 | No figure | No figure | No figure | Not trending |
| Tue, Aug 25, 2026 | No figure | No figure | No figure | Not trending |
| Wed, Aug 26, 2026 | No figure | No figure | No figure | Not trending |
| Thu, Aug 27, 2026 | No figure | No figure | No figure | Not trending |
| Fri, Aug 28, 2026 | No figure | No figure | No figure | Not trending |
| Sat, Aug 29, 2026 | No figure | No figure | No figure | Not trending |
| Sun, Aug 30, 2026 | No figure | No figure | No figure | Not trending |
| Mon, Aug 31, 2026 | +2 | +0 | 0 | #1 |
| Tue, Sep 1, 2026 | No figure | No figure | No figure | Not trending |
| Wed, Sep 2, 2026 | No figure | No figure | No figure | Not trending |
| Thu, Sep 3, 2026 | +0 | +0 | 1 | #9 |
| Fri, Sep 4, 2026 | +0 | +0 | 1 | #10 |
| Sat, Sep 5, 2026 | +0 | +0 | 3 | #7 |
| Sun, Sep 6, 2026 | No figure | No figure | No figure | Not trending |
| Mon, Sep 7, 2026 | No figure | No figure | No figure | Not trending |
| Tue, Sep 8, 2026 | +0 | +0 | 0 | #11 |
| Wed, Sep 9, 2026 | No figure | No figure | No figure | Not trending |
| Thu, Sep 10, 2026 | No figure | No figure | No figure | Not trending |
| Fri, Sep 11, 2026 | +0 | +0 | 1 | #9 |
| Sat, Sep 12, 2026 | No figure | No figure | No figure | Not trending |
| Sun, Sep 13, 2026 | No figure | No figure | No figure | Not trending |
| Mon, Sep 14, 2026 | +0 | +0 | 1 | #7 |
| Tue, Sep 15, 2026 | No figure | No figure | No figure | Not trending |
| Wed, Sep 16, 2026 | No figure | No figure | No figure | Not trending |
| Thu, Sep 17, 2026 | No figure | No figure | No figure | Not trending |
| Fri, Sep 18, 2026 | +0 | +0 | 0 | #15 |
| Sat, Sep 19, 2026 | No figure | No figure | No figure | Not trending |
| Sun, Sep 20, 2026 | No figure | No figure | No figure | Not trending |
| Mon, Sep 21, 2026 | No figure | No figure | No figure | Not trending |
| Tue, Sep 22, 2026 | +0 | +0 | 2 | #12 |
| Wed, Sep 23, 2026 | No figure | No figure | No figure | Not trending |
| Thu, Sep 24, 2026 | +0 | +0 | 1 | #8 |
| Fri, Sep 25, 2026 | No figure | No figure | No figure | Not trending |
| Sat, Sep 26, 2026 | No figure | No figure | No figure | Not trending |
| Sun, Sep 27, 2026 | No figure | No figure | No figure | Not trending |
| Mon, Sep 28, 2026 | No figure | No figure | No figure | Not trending |
| Tue, Sep 29, 2026 | No figure | No figure | No figure | Not trending |
| Wed, Sep 30, 2026 | No figure | No figure | No figure | Not trending |
| Thu, Oct 1, 2026 | No figure | No figure | No figure | Not trending |
| Fri, Oct 2, 2026 | No figure | No figure | No figure | Not trending |
| Sat, Oct 3, 2026 | No figure | No figure | No figure | Not trending |
| Sun, Oct 4, 2026 | No figure | No figure | No figure | Not trending |
| Mon, Oct 5, 2026 | No figure | No figure | No figure | Not trending |
| Tue, Oct 6, 2026 | No figure | No figure | No figure | Not trending |
| Wed, Oct 7, 2026 | No figure | No figure | No figure | Not trending |
| Thu, Oct 8, 2026 | No figure | No figure | No figure | Not trending |
| Fri, Oct 9, 2026 | +0 | +0 | 1 | #7 |
| Total | +2 | +0 | 11 |
- #1 on the list
- Rank that day
- Not trending
%22%20stroke%3D%22%23A6781A%22%20stroke-width%3D%221%22%20%2F%3E%3Cpolygon%20points%3D%2225.00%2C22.00%2035.39%2C28.00%2035.39%2C40.00%2025.00%2C46.00%2014.61%2C40.00%2014.61%2C28.00%22%20stroke-linejoin%3D%22round%22%20fill%3D%22url(%23tsh-weekly-1)%22%20stroke%3D%22none%22%20stroke-width%3D%220%22%20%2F%3E%3Cellipse%20cx%3D%2225%22%20cy%3D%2229.92%22%20rx%3D%226.96%22%20ry%3D%224.08%22%20fill%3D%22%23FBE48E%22%20fill-opacity%3D%220.45%22%2F%3E%3Cpolygon%20points%3D%2225.00%2C22.00%2035.39%2C28.00%2035.39%2C40.00%2025.00%2C46.00%2014.61%2C40.00%2014.61%2C28.00%22%20stroke-linejoin%3D%22round%22%20fill%3D%22none%22%20stroke%3D%22%238A6418%22%20stroke-width%3D%220.7%22%20stroke-opacity%3D%220.3%22%20transform%3D%22translate(4.00%205.44)%20scale(0.84)%22%2F%3E%3Ctext%20x%3D%2225%22%20y%3D%2239.25%22%20text-anchor%3D%22middle%22%20font-family%3D%22Arial%2C%20Helvetica%2C%20sans-serif%22%20font-size%3D%2215%22%20font-weight%3D%22800%22%20fill%3D%22%235A3D05%22%3E1%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}
%22%20stroke%3D%22%236B7484%22%20stroke-width%3D%221%22%20%2F%3E%3Cpath%20d%3D%22M13.00%2022.00%20H37.00%20V36.16%20Q37.00%2045.04%2025.00%2046.24%20Q13.00%2045.04%2013.00%2036.16%20Z%22%20stroke-linejoin%3D%22round%22%20fill%3D%22url(%23tsh-monthly-2)%22%20stroke%3D%22none%22%20stroke-width%3D%220%22%20%2F%3E%3Cellipse%20cx%3D%2225%22%20cy%3D%2229.92%22%20rx%3D%226.96%22%20ry%3D%224.08%22%20fill%3D%22%23EDF1F6%22%20fill-opacity%3D%220.45%22%2F%3E%3Cpath%20d%3D%22M13.00%2022.00%20H37.00%20V36.16%20Q37.00%2045.04%2025.00%2046.24%20Q13.00%2045.04%2013.00%2036.16%20Z%22%20stroke-linejoin%3D%22round%22%20fill%3D%22none%22%20stroke%3D%22%235E6878%22%20stroke-width%3D%220.7%22%20stroke-opacity%3D%220.3%22%20transform%3D%22translate(4.00%205.44)%20scale(0.84)%22%2F%3E%3Ctext%20x%3D%2225%22%20y%3D%2239.25%22%20text-anchor%3D%22middle%22%20font-family%3D%22Arial%2C%20Helvetica%2C%20sans-serif%22%20font-size%3D%2215%22%20font-weight%3D%22800%22%20fill%3D%22%23333A46%22%3E2%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}
%22%20stroke%3D%22%23693C1A%22%20stroke-width%3D%221%22%20%2F%3E%3Cpath%20d%3D%22M25.00%2023.92%20Q28.92%2020.64%2030.45%2025.52%20Q35.52%2024.88%2034.17%2029.81%20Q38.78%2032.02%2034.98%2035.43%20Q37.66%2039.78%2032.62%2040.60%20Q32.53%2045.71%2027.84%2043.67%20Q25.00%2047.92%2022.16%2043.67%20Q17.47%2045.71%2017.38%2040.60%20Q12.34%2039.78%2015.02%2035.43%20Q11.22%2032.02%2015.83%2029.81%20Q14.48%2024.88%2019.55%2025.52%20Q21.08%2020.64%2025.00%2023.92%20Z%22%20stroke-linejoin%3D%22round%22%20fill%3D%22url(%23tsh-yearly-3)%22%20stroke%3D%22none%22%20stroke-width%3D%220%22%20%2F%3E%3Cellipse%20cx%3D%2225%22%20cy%3D%2229.92%22%20rx%3D%226.96%22%20ry%3D%224.08%22%20fill%3D%22%23D29A66%22%20fill-opacity%3D%220.45%22%2F%3E%3Cpath%20d%3D%22M25.00%2023.92%20Q28.92%2020.64%2030.45%2025.52%20Q35.52%2024.88%2034.17%2029.81%20Q38.78%2032.02%2034.98%2035.43%20Q37.66%2039.78%2032.62%2040.60%20Q32.53%2045.71%2027.84%2043.67%20Q25.00%2047.92%2022.16%2043.67%20Q17.47%2045.71%2017.38%2040.60%20Q12.34%2039.78%2015.02%2035.43%20Q11.22%2032.02%2015.83%2029.81%20Q14.48%2024.88%2019.55%2025.52%20Q21.08%2020.64%2025.00%2023.92%20Z%22%20stroke-linejoin%3D%22round%22%20fill%3D%22none%22%20stroke%3D%22%235C3616%22%20stroke-width%3D%220.7%22%20stroke-opacity%3D%220.3%22%20transform%3D%22translate(4.00%205.44)%20scale(0.84)%22%2F%3E%3Ctext%20x%3D%2225%22%20y%3D%2239.25%22%20text-anchor%3D%22middle%22%20font-family%3D%22Arial%2C%20Helvetica%2C%20sans-serif%22%20font-size%3D%2215%22%20font-weight%3D%22800%22%20fill%3D%22%23FBEBDD%22%3E3%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}