Axiom (computer algebra system)
article-link
What links here
ACL2
Symbolic artificial intelligence
article-link
Formal verification
article-link
McCarthy 91 function
article-link
Formal methods
article-link
ACL
article-link
List of free and open-source software packages
article-link
Lisp (programming language)
article-link
First-order logic
article-link
Common Lisp
article-link
Automated theorem proving
article-link