PROGRAM
19th International Workshop on the
ACL2 Theorem Prover and Its Applications
(ACL2-2025)

To appear