Category:ACL2: Difference between revisions
Content added Content deleted
m (Categorized according to LCT) |
m (Tagged as a Lisp) |
||
Line 8: | Line 8: | ||
|LCT=yes}} |
|LCT=yes}} |
||
{{language programming paradigm|Functional}} |
{{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. |
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. |