Formally verified implementation of Alive in Lean - View it on GitHub