Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 2 hrs 27 mins 21 mins Lean4, Lean, Scala, Git, Org, Markdown, Rust, C++, ledger, … 🇨🇭
2 @kamome 40 mins 8 mins Scala, Markdown, Lean, Git Config hireable 🇨🇳
Last modified 2025-12-16T08:48:28Z