Leaderboard · Coq · United States

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 16 hrs 40 mins 2 hrs 22 mins Coq, Python, Bash, Text, Markdown, Makefile, YAML, TOML, Diff, … 🇺🇸