Lyndon Words Formalized in Isabelle/HOL.

Stepan Holub, Stepn Starosta

Browse the full DLT paper archive.