| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 @definfo
|
12 hrs 44 mins | 1 hr 49 mins | Coq, Nix, Markdown, Makefile, Python, Haskell, C++, HTML, OCaml, … | 🇨🇳 | |
| 2 |
 Anonymous User
|
4 hrs 40 mins | 40 mins | Coq, Markdown, Makefile, Bash | ||
| 3 |
 Yishuai Li
|
3 hrs 13 mins | 38 mins | Coq, OCaml, JSON | hireable | 🇺🇸 |
| 4 |
 Jason Gross
|
1 min | 0 secs | Python, Markdown, Image (svg), Bash, SSH Config, Coq, TOML | 🇺🇸 |
