>>1106195
ACL2にそこまでのタイトル価値があるとは思わないけど、とはいえ国内だけよりは海外へのアピール出来るとは思う。まあそこを我々が言い争っても仕方ない。実際のところはわからんわけだし