Category:ACL2

From Rosetta Code
This page is a stub. It needs more information! You can help Rosetta Code by filling it in!
Language
ACL2
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:
Listed below are all of the tasks on Rosetta Code which have been solved using ACL2.
Your Help Needed
If you know ACL2, please write code for some of the tasks not implemented in ACL2.
ACL2 is an implementation of Lisp. Other implementations of 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.

Subcategories

This category has the following 3 subcategories, out of 3 total.

Pages in category "ACL2"

The following 97 pages are in this category, out of 97 total.