Leaderboard · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 44 hrs 11 mins 6 hrs 18 mins Coq, Emacs Lisp
2 Yichen Xu 5 hrs 35 mins 47 mins TeX, Coq, Org, Scala, BibTeX
3 Yishuai Li 1 hr 25 mins 14 mins YAML, Coq, OCaml, Makefile, Markdown, Go, Git, Bash, Docker, … hireable
4 Jason Gross 13 mins 4 mins Python, TeX, Agda, YAML, Coq, Bash, Makefile
5 Litao Zhou 2 mins 0 secs OCaml, Markdown, Makefile, TeX, C, BibTeX, Coq, Git Config, Scheme, …