Leaderboard · Coq · United States

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 20 hrs 59 mins 2 hrs 59 mins Coq, Python, Text, HTML, Markdown, Bash, Makefile, JSON, Docker, … 🇺🇸