| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 VTrelat
|
23 mins | 3 mins | Lean4, TeX, Markdown, SMT, TLA, JSON, INI | 🇩🇪 | |
| 2 |
 Mehrad Haghshenas
|
11 mins | 11 mins | Rust, SMT, Markdown, TOML, Git Config, Microsoft Visual Studio Solution, Makefile, Bash | 🇳🇱 | |
| 3 |
 @NotFish
|
2 mins | 0 secs | C++, C, Rust, Python, Markdown, Nix, JSON, Text, Makefile, … | hireable | 🇺🇸 |
