| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
13 hrs 47 mins | 1 hr 58 mins | Coq, Python, Bash, OCaml, TeX, Docker, JSON, Rust, Text, … | 🇺🇸 | |
| 2 |
 @definfo
|
3 hrs 18 mins | 28 mins | Coq, C++, Typst, Nix, C, CMake, JSON, TypeScript, Markdown, … | 🇨🇳 | |
| 3 |
 Anonymous User
|
1 hr 8 mins | 13 mins | Coq, Text, Rust, TeX, Markdown, Makefile, Assembly |
