| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 VTrelat
|
17 hrs 32 mins | 3 hrs 30 mins | Isabelle, TeX, C++, Makefile, BibTeX, JSON, C, D | 🇩🇪 | |
| 2 |
 Xiaokun Luan
|
1 hr 8 mins | 11 mins | TeX, Python, Markdown, Isabelle, JSON, OCaml, Lua, textmate, C, … | hireable | 🇨🇳 |
| 3 |
 Leonty Chudinov
|
12 mins | 1 min | TypeScript, JavaScript, Docker, JSON, XML, HTML, Text, Git, Isabelle, … | hireable | 🇷🇺 |
