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.