1. Home
  2. Science
  3. Mathematics
  4. ACL2 Version 2.7

Science · Mathematics

ACL2 Version 2.7

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

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.

Tags

Meetings

Where it sits

Science Mathematics

More in Mathematics

See all →