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