Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @kamome 3 hrs 2 mins 45 mins Lean, Markdown hireable 🇨🇳
2 Yichen Xu 1 hr 22 mins 11 mins TeX, Markdown, Lean, Org, Git, Lean4, Typst, Text, Python, … 🇨🇭