[timemachiner]

To be extremely rigorous one would have to write formal proofs, that includes all steps. This is a type of proof that could be verified by a computer and may be tedious and very hard for a human to understand. Mathematicians tend to prove things informally that is easy for others to read and understand. It's almost akin to writing programs in machine code vs writing programs in a high level programming language.