Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
arXiv:2009.12521v1
Originality Synthesis-oriented
AI Analysis
This is an incremental collection of workshop papers for the ACL2 theorem proving community.
This paper presents selected works from the 16th International Workshop on the ACL2 Theorem Prover and its Applications, focusing on research and experiences related to ACL2, but does not specify a particular problem tackled or result with concrete numbers.
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.