ACL2 Theorem Prover and Its Applications, 11–12 May. tr 2024, 3 (6).