Shorten Names for Proving for Fun

Hide annoyingly long names.

Auteur
just-max
Installations quotidiennes
0
Installations (total)
1
Notes
0 0 0
Version
0.1
Créé
28/11/2022
Mis à jour
28/11/2022
Licence
0BSD
S'applique à

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