passare da "auto-formalizzazione" a "auto-formalizzare tutte le scuse nei repository pubblici di Lean4"