Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
Abstract
We report on improvements to ACL2 made since the 2013 ACL2 Workshop.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2014
- DOI:
- 10.48550/arXiv.1406.1556
- arXiv:
- arXiv:1406.1556
- Bibcode:
- 2014arXiv1406.1556K
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Logic in Computer Science;
- Computer Science - Mathematical Software
- E-Print:
- In Proceedings ACL2 2014, arXiv:1406.1238