| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Anonymous User
|
1 hr 32 mins | 13 mins | TeX, Text, Coq, C, BibTeX, JSON, Python, Assembly, Markdown, … | ||
| 2 |
 Jason Gross
|
30 mins | 4 mins | Python, YAML, CSV, HTML, Lean, JSON, Bash, Coq, Makefile, … | 🇺🇸 | |
| 3 |
 Yishuai Li
|
9 mins | 4 mins | OCaml, YAML, Makefile, Coq, gitrebase, JSON, Git, gitignore, conf | hireable | 🇺🇸 |
