| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Alok Singh
|
9 hrs 53 mins | 1 hr 24 mins | Lean, Python, TypeScript, JSON, SSH Key, TOML, Lua, Markdown, Makefile, … | hireable | 🇺🇸 |
| 2 |
 Jason Gross
|
2 hrs 55 mins | 25 mins | Lean, Python, Coq, TeX, Makefile, OCaml, YAML, JSON, Bash, … | 🇺🇸 | |
| 3 |
 @ZBrachinara
|
10 mins | 5 mins | Typst, Rust, JSON, Lean | 🇺🇸 |
