Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
arXiv:1406.1556 · doi:10.4204/EPTCS.152.1
Abstract
We report on improvements to ACL2 made since the 2013 ACL2 Workshop.
In Proceedings ACL2 2014, arXiv:1406.1238
arXiv:1406.1556 · doi:10.4204/EPTCS.152.1
We report on improvements to ACL2 made since the 2013 ACL2 Workshop.
In Proceedings ACL2 2014, arXiv:1406.1238