gå fra «auto-formalisering» til «auto-formalisering av alle Sorry-arkivene i Lean4 offentlige arkiver»