| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
1 hr 7 mins | 9 mins | Python, Bash, TeX, Coq, YAML, PowerShell, Makefile, Batchfile, Lean | 🇺🇸 | |
| 2 |
 Anonymous User
|
8 mins | 1 min | TeX, Rust, C++, CSV, Markdown, Coq, Python, Text | ||
| 3 |
 Francisco Santos
|
4 mins | 0 secs | Rust, OCaml, Nix, Java, Lua, Org, Coq, TOML | hireable | 🇵🇹 |
| 4 |
 Yishuai Li
|
0 secs | 0 secs | Go, Java, YAML, Docker, TeX, zsh, Makefile, Coq | hireable | 🇺🇸 |
