\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{}