Leaderboard · Lean · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 29 mins 4 mins Lean4, Markdown, Scala, TeX, Emacs Lisp, TOML, Python, Lean, Bash, … 🇨🇭
Last modified 2026-03-12T08:58:07Z