research

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

Authors
Publication date
5 June 2014
Publisher
'Open Publishing Association'
Doi
    View on arXiv

    Abstract

    We report on improvements to ACL2 made since the 2013 ACL2 Workshop.Comment: In Proceedings ACL2 2014, arXiv:1406.123

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Directory of Open Access Journals

      redirect
      oaioai:doaj.org/article:2680b21ab...
      Last time updated on 12/10/2017