WakaTime
Leaderboard · Coq
| Programmer | 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, … |