Automatic textbook formalization of Grinberg Algebraic Combinatorics - View it on GitHub