Activity and trending
Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending
Aug 14 – Oct 8, 2026
Stars +13 in 56 days
2
Forks +3 in 56 days
1
Merged PRs 236 in 56 days
21
Trendshift Trendingwhere the repository ranked each day it made the top 25
Top 25 in Rocq Prover
1511515427752425543523644842121426514248446
Aug 14Aug 21Aug 28Sep 4Sep 11Sep 18Sep 25Oct 2
| Day | Stars gained | Forks gained | Merged PRs | Rocq Prover |
|---|---|---|---|---|
| Fri, Aug 14, 2026 | +1 | +1 | 17 | #1 |
| Sat, Aug 15, 2026 | +0 | +0 | 17 | #5 |
| Sun, Aug 16, 2026 | +0 | +0 | 13 | #1 |
| Mon, Aug 17, 2026 | +1 | +0 | 13 | #1 |
| Tue, Aug 18, 2026 | +0 | +0 | 6 | #5 |
| Wed, Aug 19, 2026 | +1 | +0 | 8 | #1 |
| Thu, Aug 20, 2026 | +0 | +0 | 10 | #5 |
| Fri, Aug 21, 2026 | +0 | +0 | 2 | #4 |
| Sat, Aug 22, 2026 | No figure | No figure | No figure | Not trending |
| Sun, Aug 23, 2026 | +1 | +0 | 0 | #2 |
| 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 | +0 | +1 | 2 | #7 |
| Thu, Aug 27, 2026 | +0 | +0 | 2 | #7 |
| Fri, Aug 28, 2026 | +0 | +0 | 10 | #5 |
| Sat, Aug 29, 2026 | +0 | +0 | 11 | #2 |
| Sun, Aug 30, 2026 | +0 | +0 | 1 | #4 |
| Mon, Aug 31, 2026 | +1 | +0 | 6 | #2 |
| Tue, Sep 1, 2026 | +0 | +0 | 3 | #5 |
| Wed, Sep 2, 2026 | +0 | +0 | 11 | #5 |
| Thu, Sep 3, 2026 | +0 | +0 | 9 | #4 |
| Fri, Sep 4, 2026 | +0 | +0 | 5 | #3 |
| Sat, Sep 5, 2026 | +0 | +0 | 6 | #5 |
| Sun, Sep 6, 2026 | +0 | +0 | 4 | #2 |
| Mon, Sep 7, 2026 | +1 | +0 | 4 | #3 |
| Tue, Sep 8, 2026 | +0 | +0 | 2 | #6 |
| Wed, Sep 9, 2026 | +0 | +0 | 5 | #4 |
| Thu, Sep 10, 2026 | +0 | +0 | 21 | #4 |
| Fri, Sep 11, 2026 | +0 | +0 | 2 | #8 |
| Sat, Sep 12, 2026 | +0 | +0 | 2 | #4 |
| Sun, Sep 13, 2026 | +0 | +0 | 4 | #2 |
| Mon, Sep 14, 2026 | No figure | No figure | No figure | Not trending |
| Tue, Sep 15, 2026 | +2 | +0 | 0 | #1 |
| Wed, Sep 16, 2026 | +1 | +0 | 5 | #2 |
| Thu, Sep 17, 2026 | +0 | +0 | 1 | #14 |
| Fri, Sep 18, 2026 | No figure | No figure | No figure | Not trending |
| 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 | No figure | No figure | No figure | Not trending |
| Wed, Sep 23, 2026 | +1 | +0 | 3 | #2 |
| Thu, Sep 24, 2026 | +0 | +0 | 3 | #6 |
| Fri, Sep 25, 2026 | +0 | +0 | 3 | #5 |
| Sat, Sep 26, 2026 | +1 | +0 | 0 | #1 |
| Sun, Sep 27, 2026 | +0 | +0 | 2 | #4 |
| Mon, Sep 28, 2026 | No figure | No figure | No figure | Not trending |
| Tue, Sep 29, 2026 | +1 | +0 | 1 | #2 |
| Wed, Sep 30, 2026 | +0 | +0 | 8 | #4 |
| Thu, Oct 1, 2026 | No figure | No figure | No figure | Not trending |
| Fri, Oct 2, 2026 | +0 | +1 | 0 | #8 |
| 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 | +1 | +0 | 0 | #4 |
| Wed, Oct 7, 2026 | +0 | +0 | 3 | #4 |
| Thu, Oct 8, 2026 | +0 | +0 | 11 | #6 |
| Total | +13 | +3 | 236 |
- #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}