| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 @definfo
|
4 hrs 42 mins | 40 mins | Coq, Nix, Rust, C++, Python, YAML, Typst, Bash, Makefile, … | 🇨🇳 | |
| 2 |
 Jason Gross
|
48 mins | 6 mins | Lean, Python, Coq, TeX, Makefile, OCaml, YAML, JSON, Bash, … | 🇺🇸 | |
| 3 |
 Anonymous User
|
15 mins | 2 mins | Markdown, C++, JSON, TeX, C, Coq, CMake, Rust, Text, … |
