This is an unofficial reimagining of the Archive of Formal Proofs
Combinatorics on Words Basicsby Štěpán Holub, Martin Raška and Štěpán Starosta