Proofs are literature. They need to go through a peer review process to have someone other than the author verify their correctness. Nowadays often tools like Lean are used to convert the argument into what you would call formal logic. It's nontrivial and takes time.