Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

06/06/2014

∙

by   Matt Kaufmann, et al.

∙

0

∙

share

We report on improvements to ACL2 made since the 2013 ACL2 Workshop.