@misc{indiciae17255f6928c6,
  title = {Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications},
  author = {Ruben Gamboa and Panagiotis Manolios},
  year = {2025},
  doi = {10.4204/eptcs.423},
  url = {https://arxiv.org/abs/2507.18567},
  note = {Source identifier: 2507.18567}
}