Shorten Names for Proving for Fun

Hide annoyingly long names.

作者
just-max
今日安裝
0
安裝總數
1
評價
0 0 0
版本
0.1
建立日期
2022-11-28
更新日期
2022-11-28
授權條款
0BSD
腳本執行於

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