Matt Kaufmann (joint work with J Moore)

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

ACL2 Seminar, March 14, 2014

Abstract:

I'll take us through a draft of a paper in which we go through improvements to ACL2 appearing in versions released after last year's ACL2 Workshop. I'm looking for feedback on how to make that paper useful to the full ACL2 community, including those who are not particularly experienced in using ACL2.