Leaderboards · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 22 hrs 28 mins 4 hrs 29 mins Coq, Makefile, TeX, OCaml, Bash, YAML, Git, Git Config, Markdown, …