Cint、CPX、theoremreach
一切答えないから邪魔でしかない
非表示機能くらい実装させろや