WakaTime
Leaderboards · Coq
| Programmer | 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 |