The following pages link to ACL2:
Displayed 12 items.
- Automated theorem proving (← links | edit)
- Common Lisp (← links | edit)
- First-order logic (← links | edit)
- Lisp (programming language) (← links | edit)
- ACL (← links | edit)
- Formal methods (← links | edit)
- McCarthy 91 function (← links | edit)
- Formal verification (← links | edit)
- Symbolic artificial intelligence (← links | edit)
- Axiom (computer algebra system) (← links | edit)
- Proof assistant (← links | edit)
- J Strother Moore (← links | edit)