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.
ACL2 is an implementation of Lisp. Other implementations of Lisp.

From the University of Texas at Austin, late 2018:

ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2" denotes "A Computational Logic for Applicative Common Lisp".

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.