Bjørn Kjos-Hanssen, B. Formalized backtracking [Computer software]. https://github.com/bjoernkjoshanssen/bay/StecherConjecture.lean