ACL2 October 3, 2020February 24, 2020 by fullmeaningof ACL2 stands for A Computational Logic for Applicative Common Lisp Popular Abbreviations Meaning DINS YATE ADLU AES-GCM AFRINIC XXA DARS D-PCM DRP-DRP DSCPMS Search for: ALSO SEE: XCAST