ACL2

(redirected from A Computational Logic for Applicative Common Lisp)
AcronymDefinition
ACL2A Computational Logic for Applicative Common Lisp
Full browser ?