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.

翻译：本卷收录了第十八届ACL2定理证明器及其应用国际研讨会（ACL2-2023）的会议论文集。该研讨会为期两天，于2023年11月13日至14日在德克萨斯大学奥斯汀分校及线上同步举行。此类研讨会为ACL2定理证明器的用户提供了一个重要的技术论坛，用于展示与ACL2及其应用相关的研究成果。