Leaderboard · Lean · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 6 hrs 56 mins 1 hr 9 mins Lean, Git, Scala, Org, Python, TeX, Markdown, TOML, Coq, … 🇨🇭