Leaderboard · Coq · United States

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 9 hrs 56 mins 1 hr 25 mins Python, Coq, Markdown, HTML, Assembly, TeX, CSS, Rust, Image (svg), … 🇺🇸