>>711582
ACLEの準優勝とACL2の優勝の賞金は同じか近いくらいあるってこと？思ったよりACL2の価値は高い。