Leaderboards · Coq

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 10 hrs 4 mins 2 hrs Coq, Bash, Makefile, TeX
2 Evrard-Nil 34 mins 4 mins Go, Dart, Verilog, Coq, Java, Docker, YAML, SQL, Protocol Buffer, …
3 @rgrinberg 30 mins 4 mins Verilog, OCaml, Coq, Markdown, Git, C, Makefile, Perl, Emacs Lisp
4 Su Hang 0 secs 0 secs C++, Haskell, Python, Emacs Lisp, Coq