ACL2 Theorem Prover and Its Applications, 11–12 May (The Reasoner, 2024)