602475☆ああ 2023/11/12 21:45 (K)

>>602474
ACLEは17億とかだから、あくまで相対的な話。出れるならACL2でも出たほうがよいかも。