Shorten Names for Proving for Fun

Hide annoyingly long names.

Autor
just-max
Instalaciones diarias
0
Instalaciones totales
1
Calificaciones
0 0 0
Versión
0.1
Creado
28/11/2022
Actualizado
28/11/2022
Licencia
0BSD
Funciona en

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