Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 3 hrs 1 min 26 mins Lean4, Lean, Git, Org, Scala, TeX, JSON, Makefile, make, … 🇨🇭
2 @kamome 39 mins 7 mins Scala, Markdown, Lean, Git Config hireable 🇨🇳
Last modified 2025-12-18T08:55:36Z