Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
Artificial Intelligence
2014-06-09 v1 Logic in Computer Science
Mathematical Software
Abstract
We report on improvements to ACL2 made since the 2013 ACL2 Workshop.
Cite
@article{arxiv.1406.1556,
title = {Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4},
author = {Matt Kaufmann and J Strother Moore},
journal= {arXiv preprint arXiv:1406.1556},
year = {2014}
}
Comments
In Proceedings ACL2 2014, arXiv:1406.1238