| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
3 hrs 9 mins | 27 mins | Python, Coq, TeX, Bash, BibTeX, YAML, Makefile, Text, Lean, … | 🇺🇸 | |
| 2 |
 Anonymous User
|
1 hr 19 mins | 11 mins | Rust, TeX, Coq, Markdown, C++, CSV, Makefile, Python, BST | ||
| 3 |
 Francisco Santos
|
4 mins | 0 secs | Rust, OCaml, Java, Nix, Org, Lua, Coq, TOML, lisp | hireable | 🇵🇹 |
| 4 |
 Yishuai Li
|
0 secs | 0 secs | Go, Java, YAML, Docker, Makefile, Coq | hireable | 🇺🇸 |
