论文标题
会议论文集第十七国际委员会及其申请
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
论文作者
论文摘要
该卷包含在第17届国际ACL2定理摊子及其应用的国际研讨会上提出的一系列论文（ACL2 2022）。研讨会是介绍与ACL2相关的研究和经验的主要技术论坛。
This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022). The workshops are the premier technical forum for presenting research and experiences related to ACL2.
