How Can I Do That with ACL2? Recent Enhancements to ACL2
The last several years have seen major enhancements to ACL2 functionality, largely driven by requests from its user community, including utilities now in common use such as 'make-event', 'mbe', and trust tags. In this paper we provide user-level summaries of some ACL2 enhancement...
Main Authors: | Matt Kaufmann, J Strother Moore |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2011-10-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1110.4673v1 |
Similar Items
-
Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
by: Matt Kaufmann, et al.
Published: (2014-06-01) -
Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1
by: Matt Kaufmann, et al.
Published: (2013-04-01) -
Industrial-Strength Documentation for ACL2
by: Jared Davis, et al.
Published: (2014-06-01) -
ACL2(ml): Machine-Learning for ACL2
by: Jónathan Heras, et al.
Published: (2014-06-01) -
Fourier Series Formalization in ACL2(r)
by: Cuong K. Chau, et al.
Published: (2015-09-01)