| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jáchym Löwenhöffer
|
25 mins | 6 mins | TeX, Python, Isabelle | 🇨🇿 | |
| 2 |
 @daqoblade
|
0 secs | 0 secs | TeX, Text, BibTeX, Nix, JSON, Bash, Git Config, Isabelle | 🇦🇺 |
