See https://gowers.wordpress.com/2026/03/20/group-and-semigroup-puzzles-and-a-possible-polymath-project/.

This repo currently contains some basic results relating to the Tseitin semigroup, including some equations and disequations.

Contributions to add the Artin-Tits group, as well as more equations and invariants are welcome.