Shorten Names for Proving for Fun

Hide annoyingly long names.

Author
just-max
Daily installs
0
Total installs
1
Ratings
0 0 0
Version
0.1
Created
2022-11-28
Updated
2022-11-28
License
0BSD
Applies to

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