ACL2


Also found in: Wikipedia.
AcronymDefinition
ACL2A Computational Logic for Applicative Common Lisp