>>1170182
ACL2の価値を否定しているわけではなく、「アジア獲った」という投稿を否定しています。