| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 VTrelat
|
18 hrs 19 mins | 3 hrs 3 mins | Lean, Python, Markdown | 🇩🇪 | |
| 2 |
 Alok Singh
|
4 hrs 22 mins | 37 mins | Lean, Python, dts, JSON, gitignore, Text, Markdown | hireable | 🇺🇸 |
| 3 |
 Anonymous User
|
38 mins | 6 mins | TeX, Lean, Bash, hyprlang, conf, Lua, TOML, BibTeX, jsonc, … | hireable | 🇨🇳 |
| 4 |
 Yichen Xu
|
34 mins | 5 mins | TeX, Emacs Lisp, Lean, Git | 🇨🇭 | |
| 5 |
 Potato Hatsue
|
2 mins | 0 secs | Haskell, Java, Lean, Makefile |
