| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
4 hrs 13 mins | 36 mins | Python, Rust, Coq, Markdown, YAML, Nix, Text, Bash, TeX, … | 🇺🇸 | |
| 2 |
 @definfo
|
2 hrs 20 mins | 28 mins | Markdown, Coq, Python, Nix, Makefile, OCaml, TOML, JSON, Text, … | 🇨🇳 | |
| 3 |
 Anonymous User
|
1 hr 6 mins | 11 mins | Coq, TeX, Markdown, C, Text, Bash, Rust, Makefile, BibTeX |
