Leaderboard · Coq · United States

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 1 min 0 secs Python, Markdown, HTML, YAML, Lean4, Assembly, TOML, Bash, SSH Config, … 🇺🇸