ghfind
← Back to Discover

Top Lean developers

Ranked by overall score, showing up to the top 250.

  1. 🥇teorth
    #Lean OSS Workhorse#Mathlib Core Contributor#Formal Math Wizard
    🏆 GOD
    96.10
    🚀Trend/🔥 Heat
    80.9/1