Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
Matt Kaufmann (UT Austin), J Strother Moore (UT Austin)
TL;DR
This paper details recent improvements to ACL2, a theorem proving system, focusing on updates made in versions 6.2, 6.3, and 6.4 since 2013.
Contribution
It documents specific enhancements to ACL2 in recent versions, advancing its capabilities and usability.
Findings
Enhanced proof automation features
Improved user interface and documentation
Performance optimizations in theorem proving
Abstract
We report on improvements to ACL2 made since the 2013 ACL2 Workshop.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.