Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

We report on improvements to ACL2 made since the 2013 ACL2 Workshop.

Bibliographic Details
Main Authors: Matt Kaufmann, J Strother Moore
Format: Article
Language:English
Published: Open Publishing Association 2014-06-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1406.1556v1
Description
Summary:We report on improvements to ACL2 made since the 2013 ACL2 Workshop.
ISSN:2075-2180

Similar Items