GOL in GOL in HOL: Verified Circuits in Conway's Game of Life.

Magnus O. Myreen, Mario Carneiro

Browse the full ITP paper archive.