ACL2


AcronymDefinition
ACL2➣A Computational Logic for Applicative Common Lisp