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