ACL2


AcronymDefinition
ACL2A Computational Logic for Applicative Common Lisp