Shorten Names for Proving for Fun

Hide annoyingly long names.

Skaber
just-max
Daglige installationer
0
Installationer i alt
1
Bedømmelser
0 0 0
Version
0.1
Oprettet
28.11.2022
Opdateret
28.11.2022
Licens
0BSD
Gælder for

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