Leaderboard · Coq · United States

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 48 mins 6 mins Lean, Python, Coq, TeX, Makefile, OCaml, YAML, JSON, Bash, … 🇺🇸