@misc{indiciaeed32f01bf24b,
  title = {GOL in GOL in HOL: Verified Circuits in Conway's Game of Life},
  author = {Magnus O. Myreen and Mario Carneiro},
  year = {2025},
  url = {https://arxiv.org/abs/2504.00263},
  note = {Source identifier: 2504.00263}
}