저렇게 리플질 해대는거 보면 뭔가 자신 있다는 소리겠지

설마 작년처럼 수학전용 lean기반으로 해놓고 입털거 같지는 않음