Not all proofs are formal, and most published papers are not formal in the strictest sense. That is why they talk about "formalizing" a proof if there is some question about it. It is that formalization process which often finds flaws.