| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Marcus
|
8 hrs 44 mins | 1 hr 27 mins | TeX, Markdown, Python, Docker, YAML, TOML, JSON, BibTeX, SSH Config, … | 🇨🇭 | |
| 2 |
 Yuejia Zhang
|
30 mins | 7 mins | Python, TeX, Bash, JSON, BibTeX, Markdown, MATLAB, Text | 🇨🇭 | |
| 3 |
 Yichen Xu
|
9 mins | 3 mins | Lean4, Lean, JSON, TeX, Git, Makefile, make, fish, Rust, … | 🇨🇭 |
