Leaderboard · Lean · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 2 hrs 28 mins 21 mins Lean4, Scala, Lean, TeX, Org, Git, Markdown, TOML, Python, … 🇨🇭