Leaderboard · Lean · Japan

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 kAIto47802 35 mins 5 mins TeX, Python, Bash, Lean, Text, Rust, BibTeX, JSON, TOML, … hireable 🇯🇵