Name		Name	Last commit message	Last commit date
parent directory ..
GameOfLife.pdf		GameOfLife.pdf
GameOfLife.tla		GameOfLife.tla
LICENSE		LICENSE
LICENSE.md		LICENSE.md
README.md		README.md

README.md

GameOfLife.tla

Conway's Game of Life This specification with some more description can be also found here