Lyndon words

MaRDI QIDQ5974221swMATHFDO

Official website https://www.isa-afp.org/entries/Combinatorics_Words_Lyndon.html

Described by source

• Lyndon words formalized in Isabelle/HOL

Cited in

(3)

• Combinatorics_Words
• Szpilrajn Extension
• Coq-Combi

This page was built for software: Lyndon words