pivot van "auto-formalisatie" naar "auto-formaliseren van alle excuses in Lean4 publieke repositories"