>>1588478
うちは協会から疎まれてるふしがあるから仕方ないよ
ACL2も2年前に創設されたんだし、これから少しづつ良くなってくるでしょう