A Computational Logic
|Software Name||Infix ACL2|
ACL2 is a programming language and logic in which you can model computer systems
as well as a tool to help you prove properties of those models.|
This infix version supports a more conventional syntax that standard ACL2, as well as providing some help with simple type definitions. At the moment the infix version only supports a subset of the ACL2 input syntax. It can load libraries that were developed either in standard ACL2 or infix ACL2.
|Point of Contact:||
Michael K. Smith|
COMPUTATIONAL LOGIC, INC.
Description : NA