Posted in Information Technology ACL2 stands for A Computational Logic for Applicative Common Lisp ACL2 Share Pinterest Tweet Whatsapp Post navigation DIJINDIJOA Leave a Reply Cancel replyYour email address will not be published. Required fields are marked *Comment * Name * Email * Website Save my name, email, and website in this browser for the next time I comment.