2000 character limit reached
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications (2311.08373v1)
Published 14 Nov 2023 in cs.LO
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.