| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
7 hrs 11 mins | 1 hr 1 min | TeX, Coq, Python, OCaml, Bash, Rust, Makefile, Text, Docker, … | 🇺🇸 | |
| 2 |
 @definfo
|
4 hrs 52 mins | 41 mins | Coq, C++, Typst, C, Nix, CMake, JSON, TypeScript, Markdown, … | 🇨🇳 | |
| 3 |
 Anonymous User
|
43 mins | 8 mins | Coq, Text, Rust, TeX, Makefile, Assembly |
