ACL2 stands for A Computational Logic for Applicative Common Lisp

ACL2
Share
Abbreviations And Their Meaning