ACL2ならリベンジしたいけど、ACLEの方はどうせ次出たとしても優勝目指す戦力揃える気無いだろ。

>>1090198
ACL2の過酷さをみると、
参加しない方がいい。