This project aims to formalize some concepts of Automata Theory and Parsing into Lean4 Theorem Prover. This was a course project for the course 'Proofs and Programs' offered by Prof Siddhartha Gadgil ...

A cellular automaton is a discrete model of computation studied in automata theory. It consists of a regular grid of cells, each in one of a finite number of states; a new generation is created ...