Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 8 hrs 33 mins 1 hr 13 mins Lean, TeX, Scala, Git, Org, TOML, BibTeX, Markdown, Makefile, … 🇨🇭
2 @kamome 0 secs 0 secs Markdown, Lean hireable 🇨🇳