Shorten Names for Proving for Fun

Hide annoyingly long names.

Tác giả
just-max
Cài đặt hàng ngày
0
Số lần cài đặt
1
Đánh giá
0 0 0
Phiên bản
0.1
Đã tạo
28-11-2022
Đã cập nhật
28-11-2022
Giấy phép
0BSD
Áp dụng cho

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