TY  - RPRT
TI  - GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
AU  - Magnus O. Myreen
AU  - Mario Carneiro
PY  - 2025
UR  - https://arxiv.org/abs/2504.00263
ID  - 2504.00263
ER  -