Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
We report on improvements to ACL2 made since the 2013 ACL2 Workshop.
Main Authors: | Matt Kaufmann, J Strother Moore |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2014-06-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1406.1556v1 |
Similar Items
-
Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1
by: Matt Kaufmann, et al.
Published: (2013-04-01) -
How Can I Do That with ACL2? Recent Enhancements to ACL2
by: Matt Kaufmann, et al.
Published: (2011-10-01) -
Content 6.2
by: Samai Sirithongthaworn, et al.
Published: (2018-12-01) -
Créditos 6.2
by: Créditos 6.2
Published: (2012-11-01) -
Transcultural Adaptation and Theoretical Models of Validation of the Spanish Version of the Self-Care of Heart Failure Index Version 6.2 (SCHFI v.6.2)
by: Raúl Juárez-Vela, et al.
Published: (2021-01-01)