| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 @definfo
|
4 hrs 42 mins | 40 mins | Coq, Nix, Rust, Python, C++, TOML, YAML, Typst, Bash, … | 🇨🇳 | |
| 2 |
 Anonymous User
|
19 mins | 3 mins | TeX, Markdown, C++, JSON, Coq, 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, sshconfig, OCaml, YAML, JSON, Mustache, gitrebase, Coq, Git, … | hireable | 🇺🇸 |
