Rank among 26,739 organizations
#2,877
leanprover-community
leanprover-community, on GitHub since 2018, organization
Total stars
13,414
Repositories counted
94
Since yesterday
▲ 3
Tier
C
Where the stars come from
Rank over time
Lower is better. Snapshots are taken daily at 00:10 UTC.