přechod od "auto-formalizace" k "automatickému formalizování všech omluv napříč veřejnými úložištěmi Lean4"