去年ACL2だから少ない言ってた人いるけど、ACLEでもそんな変わらないね
そもそもライト層からしたらACL2とACLEの違いなんかわからないもんね