Leaderboards · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yishuai Li 21 hrs 1 min 3 hrs 30 mins Coq, Haskell, Makefile, reStructuredText, YAML, Git Config hireable
2 Litao Zhou 10 hrs 41 mins 1 hr 46 mins Coq, OCaml, JavaScript, C, AsciiDoc, Bash, Makefile, Git Config
3 Jason Gross 9 hrs 28 mins 1 hr 53 mins Coq, Markdown, Bash, Makefile, Debian Control file, YAML, Python