The front page of this leaderboard, delivered every Monday. No other emails.
| Programmer | Languages Used | ||||||
|---|---|---|---|---|---|---|---|
| 1 |
 VTrelat
|
3 hrs 38 mins | 43 mins | TeX, Lean4, Markdown, Python, B (Formal Method) | 🇩🇪 | ||
| 2 |
 Adrian Kunz
|
1 hr 59 mins | 17 mins | TeX, TypeScript, JSON, YAML, Docker, TOML, Docker File, JavaScript, Markdown, … | 🇩🇪 | ||
| 3 |
 @liphip
|
5 mins | 1 min | Markdown, TeX, HTML | PRO | 🇩🇪 |
