Greasy Fork is available in English.

Shorten Names for Proving for Fun

Hide annoyingly long names.

Auteur
just-max
Nombre d'installations quotidiennes
0
Nombre d'installations
1
Évaluations
0 0 0
Version
0.1
Créer
2022-11-28
Mis à jour
2022-11-28
Licence
0BSD
S'applique à

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