mudar de "auto-formalização" para "auto-formalizar todas as desculpas nos repositórios públicos do Lean4"