Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 5 hrs 4 mins 43 mins Typst, Lean, Git, Scala, Markdown, TOML, Emacs Lisp, TeX, YAML 🇨🇭
2 @kamome 2 hrs 18 mins 46 mins Lean, Markdown hireable 🇨🇳