ghfind
← 返回发现页

Lean 头部开发者

按综合评分排名,最多展示前 250 位。

  1. 🥇teorth
    #形式化数学卷王#Lean核心贡献者#数论仓库长工
    🏆
    96.10
    🚀趋势/🔥 热度
    80.9/1