Your search +path:proof_attempts +path:. +path:each_with_index did not match any files.
Suggestions: