论文标题
关于ACL2定理摊子及其申请的第十六国际研讨会论文集
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
论文作者
论文摘要
该卷包含第16届国际ACL2定理摊子及其应用的论文选择（ACL2-2020）。研讨会是介绍与ACL2相关的研究和经验的主要技术论坛。
This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2020). The workshops are the premier technical forum for presenting research and experiences related to ACL2.
