Shorten Names for Proving for Fun

Hide annoyingly long names.

Autor
just-max
Denne inštalácií
0
Celkový počet inštalácií
1
Hodnotenie
0 0 0
Verzia
0.1
Vytvorené
28.11.2022
Aktualizované
28.11.2022
Licencia
0BSD
Spustiť na

Shorten long names on do.proof.in.tum.de. Hover to show full name.