chuyển từ "tự động hình thức hóa" sang "tự động hình thức hóa tất cả các lời xin lỗi trong các kho công khai của Lean4"