Add to Chrome
Add to Firefox
Add to Edge
Share this with someone who'll enjoy it:
Abstract:We report on improvements to ACL2 made since the 2013 ACL2 Workshop.