Printer friendly
"AcronymFinder.com

What does ACL2 stand for?

ACL2 stands for A Computational Logic for Applicative Common Lisp

This definition appears somewhat frequently and is found in the following Acronym Finder categories:

  • Information technology (IT) and computers
  • Science, medicine, engineering, etc.