  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.
