Category:ACL2: Difference between revisions
m
Expanded acronym, linked to a recent info source
m (Tagged as a Lisp) |
m (Expanded acronym, linked to a recent info source) |
||
Line 9:
{{language programming paradigm|Functional}}
{{implementation|Lisp}}
[http://www.cs.utexas.edu/users/moore/acl2/ From the University of Texas at Austin, late 2018:]
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.▼
▲ACL2 is
| |||