前言ってたleanが使いやすくなったからそれ使いなよ

https://theoremforces.org/