Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @kamome 14 hrs 38 mins 2 hrs 5 mins Lean, Markdown, TeX, BST, OpenEdge ABL hireable 🇨🇳
2 Yichen Xu 6 hrs 1 min 51 mins Lean, Typst, Git, Markdown, TOML, TypeScript, Text, Lean4, Emacs Lisp, … 🇨🇭