ACL2でも星つくん？とか他サポがガチャガチャ言うとるけどACL2軽視する風潮なんなんやろうな
ちっちゃい奴らやのう