Leaderboard · Lean · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 8 hrs 22 mins 1 hr 23 mins Lean, Scala, Org, Git, TeX, Markdown, Emacs Lisp, Text, TOML 🇨🇭