Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

Add code
Apr 30, 2013

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: