Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications
arXiv:2311.08373 · doi:10.4204/EPTCS.393
Abstract
This volume contains the proceedings of the Eighteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2023), a two-day workshop held at the University of Texas at Austin and online, on November 13-14. These workshops provide a major technical forum for users of the ACL2 theorem prover to present research related to ACL2 and its applications.