ACL2 Theorem Prover and Its Applications, 11–12 May. The Reasoner, v. 3, n. 6, 20 Sep.2024.