ghfind
Roast
Leaderboard
Discover
☀
☾
A
中文
EN
Source
← Back to Discover
Top Lean developers
Ranked by overall score, showing up to the top 250.
🥇
@teorth
#Lean OSS Workhorse
#Mathlib Core Contributor
#Formal Math Wizard
+1
🏆 GOD
96.10
🚀Trend
/
🔥 Heat
80.9
/
1