Greasy Fork is available in English.

Shorten Names for Proving for Fun

Hide annoyingly long names.

نووسەر
just-max
Daily installs
0
Total installs
1
Ratings
0 0 0
وەشان
0.1
Created
2022-11-28
Updated
2022-11-28
مۆڵەت
0BSD
Applies to

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