Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
This page links to materials for papers co-authored by Matt Kaufmann at ACL2
Workshop 2014. The online version of the first of these, in
particular, has many links to the ACL2 documentation.
-
Matt Kaufmann and J Strother Moore,
Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4.
In:
Proceedings of ACL2 Workshop 2014, Julien Schmaltz and Freek Verbeek,
editors.
Electronic Proceedings in Theoretical Computer
Science, Volume 152, pp. 1-7, doi:10.4204/EPTCS.152.1, 2014.
-
Jared Davis and Matt Kaufmann,
Industrial-Strength Documentation for ACL2.
In:
Proceedings of ACL2 Workshop 2014, Julien Schmaltz and Freek Verbeek,
editors.
Electronic Proceedings in Theoretical Computer
Science, Volume 152, pp. 9-25, doi:10.4204/EPTCS.152.2, 2014.