ACL2の価値がどうこう言うてはる方いるけど、別に僕らは賞金5.6億円があるチームなんで、ないとこに何言われても知らんがなという感じです。
文句言うてはる出れてへんところはACL2なくても、よーさんもうけてはるんでしょうね。