ACL2 Version 2.7

ACL2 Version 2.7
All Links

Share this:

Details of ACL2 Version 2.7

About ACL2 Version 2.7
ACL2 Version 2.7- A programming language in which you can model computer systems and a tool to help prove properties of those models. Available under GPL and runs on various platforms. Includes related download links.
Meetings