Leaderboard · Lean · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 38 mins 6 mins TeX, Lean, Bash, hyprlang, conf, Lua, TOML, BibTeX, jsonc, … hireable 🇨🇳