| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 @definfo
|
4 hrs 42 mins | 40 mins | Coq, Nix, Rust, Python, TOML, C++, YAML, Typst, Bash, … | 🇨🇳 | |
| 2 |
 Anonymous User
|
1 hr 19 mins | 13 mins | TeX, Markdown, Coq, C++, JSON, C, CMake, Text, Git Config, … | ||
| 3 |
 Jason Gross
|
12 mins | 1 min | Lean, Python, Bash, Coq, TeX, OCaml, Makefile, JSON, Git Config, … | 🇺🇸 | |
| 4 |
 Yishuai Li
|
3 mins | 0 secs | TeX, YAML, Mustache, gitrebase, Coq, Git, sshconfig, OCaml, Markdown | hireable | 🇺🇸 |
