Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
Matt
Kaufmann
(UT Austin)
J Strother
Moore
(UT Austin)
We report on improvements to ACL2 made since the 2013 ACL2 Workshop.
In Freek Verbeek and Julien Schmaltz:
Proceedings Twelfth International Workshop on the
ACL2 Theorem Prover and its Applications
(ACL2 2014), Vienna, Austria, 12-13th July 2014,
Electronic Proceedings in Theoretical Computer Science
152, pp. 1–7.
Published: 4th June 2014.
ArXived
at:
https://dx.doi.org/10.4204/EPTCS.152.1
bibtex
PDF
References in
reconstructed bibtex
,
XML
and
HTML
format (approximated).
Comments and questions to:
eptcs@eptcs.org
For website issues:
webmaster@eptcs.org