перейти від «автоформалізації» до «автоматичної формалізації всіх вибачень у публічних репозиторіях Lean4»