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