Myreen, M. O., & Carneiro, M. (2025). GOL in GOL in HOL: Verified Circuits in Conway's Game of Life.
Chicago Style (17th ed.) CitationMyreen, Magnus O., and Mario Carneiro. GOL in GOL in HOL: Verified Circuits in Conway's Game of Life. 2025.
MLA (9th ed.) CitationMyreen, Magnus O., and Mario Carneiro. GOL in GOL in HOL: Verified Circuits in Conway's Game of Life. 2025.
Warning: These citations may not always be 100% accurate.