Explore · Ranking › AxiomMath/Stacks
A Lean formalization of the Stacks Project
#170best daily rank (Nov 5)
+38stars on Nov 5
+95stars in 7 days
103total stars
Where it stands
Cooling · 67% of its Nov 4 peak
- Best day: +57 stars on Nov 4.
- Nov 5: 67% of that.
- Day 2 of its run (the days in a row with at least a tenth of its best day).
Stars per day
Nov 3peak 57 a dayNov 6 so far
Fake-star check
No red flags
Checks forks, watchers, issues and how the stars arrived. A flag is a reason to look closer, not proof. How the check works
Why it may be trending
Brand new · created Nov 3
Days in the ranking
- Nov 5#170
Badge for your README
It shows the best daily rank and updates itself. Paste this into your README:
[](https://truestars.dev/r/axiommath/stacks/)