Anonymous user
Category:ACL2: Difference between revisions
m
Tagged as a Lisp
m (Categorized according to LCT) |
m (Tagged as a Lisp) |
||
Line 8:
|LCT=yes}}
{{language programming paradigm|Functional}}
{{implementation|Lisp}}
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
|