Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @kamome 24 hrs 28 mins 3 hrs 29 mins Lean, YAML hireable 🇨🇳
2 Yichen Xu 7 hrs 1 hr TeX, Lean, Git, Scala, BibTeX, Makefile, Org, Markdown, Python, … 🇨🇭