  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.
