Displaying 1 to 1 from 1 results

acl2 - ACL2 System and Books as Maintained by the Community

  •    Common

WARNING: On rare occasions development versions of ACL2 may be incomplete, fragile, or unable to pass the usual regression tests. You may choose to download an official ACL2 release as described on the ACL2 Home Page or below in this README. The ACL2 theorem proving environment consists of two parts: The ACL2 System and The ACL2 Books. This repository contains both.