Leaderboard · Lean · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 1 hr 11 mins 11 mins TeX, Scala, Git, Lean, Org, Bash, BibTeX, Java, OpenEdge ABL 🇨🇭