| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 @definfo
|
13 hrs 58 mins | 1 hr 59 mins | Coq, Nix, Markdown, Makefile, Python, Haskell, HTML, OCaml, TOML, … | 🇨🇳 | |
| 2 |
 Anonymous User
|
7 hrs 42 mins | 1 hr 6 mins | Coq, Markdown, Makefile, Bash | ||
| 3 |
 Yishuai Li
|
3 hrs 20 mins | 33 mins | Coq, OCaml, JSON | hireable | 🇺🇸 |
| 4 |
 Jason Gross
|
1 min | 0 secs | Python, Markdown, Bash, SSH Config, Coq, TOML | 🇺🇸 |
