Leaderboards · Coq
Programmer | Languages Used | ||||
---|---|---|---|---|---|
1 |
|
21 hrs 1 min | 3 hrs 30 mins | Coq, Haskell, Makefile, reStructuredText, YAML, Git Config | hireable |
2 |
|
10 hrs 41 mins | 1 hr 46 mins | Coq, OCaml, JavaScript, C, AsciiDoc, Bash, Makefile, Git Config | |
3 |
|
9 hrs 28 mins | 1 hr 53 mins | Coq, Markdown, Bash, Makefile, Debian Control file, YAML, Python |