Back to trendingHow scoring works 
Momentum
leanprover/verso has 394 GitHub stars.
It currently ranks #30254 daily, #30668 weekly, #32339 monthly by momentum on Trending Repos; its best-ever rank is #911.
Trending Repos first recorded it on Jun 13, 2026.
Rankings
PeriodRankScore
Daily
#302540.0Weekly
#306680.0Monthly
#323390.0Engagement
Total stars
Daily new stars
Embeds
Best rank #911