Category:ACL2
From Rosetta Code
This programming language may be used to instruct a computer to perform a task.
| Official website |
|---|
| Garbage collected: | Yes |
|---|---|
| Type safety: | Unsafe |
| Type strength: | Strong |
| Type checking: | Dynamic |
| See Also: |
Your Help Needed
If you know ACL2, please write code for some of the tasks not implemented in ACL2.
If you know ACL2, please write code for some of the tasks not implemented in ACL2.
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
Subcategories
This category has the following 3 subcategories, out of 3 total.
Pages in category "ACL2"
The following 96 pages are in this category, out of 96 total.
