Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 1 hr 14 mins 10 mins Org, Git, Scala, Lean, TypeScript, TeX, Markdown, JSON, Python, … 🇨🇭
2 @kamome 32 mins 10 mins Markdown, Lean hireable 🇨🇳