Formalization of Basic Combinatorics on Words.

Stepan Holub, Stepn Starosta

Browse the full ITP paper archive.