Please note that the content of this book primarily consists of
articles available from Wikipedia or other free sources online.
ACL2 is a software system consisting of a programming language, an
extensible theory in a first-order logic, and a mechanical theorem
prover. ACL2 is designed to support automated reasoning in
inductive logical theories, mostly for the purpose of software and
hardware verification. The input language and implementation of
ACL2 are built on Common Lisp. ACL2 is free, open source software.
The ACL2 programming language is an applicative (side-effect free)
variant of Common Lisp. ACL2 is untyped. All ACL2 functions are
total - that is, every function maps each object in the ACL2
universe to another object in its universe.
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!