Leaderboard · Lean · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 3 hrs 18 mins 28 mins Lean4, Lean, Scala, Org, Typst, Markdown, Git, TOML, Rust, … 🇨🇭