Skip to content
Loading map…
leanprover/lean4 stargazers map
leanprover/lean4 stargazers map | StarMapper
Loading map…
by Florian Bruniaux
Follow
Map by
Jawg Maps
Search
leanprover/lean4
Collapse
0
Mapped
9,199
Stars
0
Countries
✓
100
Organic
Hidden from map
These stargazers are fully indexed but haven't set a location in their GitHub profile, so they can't be placed on the map.
0
Find
Set my username for quick Find me
Who built this?
Who depends?
/
leanprover/lean4
Leaderboard
Faster scans
2D
?
Controls
Map controls
Density
fine
broad
All
5k+ followers
1k+ followers
500+ followers
100–500
<100
Stats
History
Badge
Share
