\myheading{Knuth-Morris-Pratt string-searching algorithm}
\label{KMP}

\leveldown{}

\renewcommand{\CURPATH}{verif/KMP}

\input{verif/KMP/1}
\input{verif/KMP/2}
\input{verif/KMP/3}

\myheading{A discussion at HN}

\url{https://news.ycombinator.com/item?id=25856558}

\levelup{}