>>1106052 やたら言ってる人いるけど、ACL2にどれほどの価値を見出だしてんの？負けるのが難しいくらいの低レベルの大会じゃん