Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

06/06/2014
by   Matt Kaufmann, et al.
0

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

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset