Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

Add code
Jun 06, 2014
Matt Kaufmann, J Strother Moore

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon

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

* EPTCS 152, 2014, pp. 1-7  * In Proceedings ACL2 2014, arXiv:1406.1238  
View paper onarxiv icon

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon