I argue about the advantages of using **structured proofs (à la Leslie Lamport) **in Mathematics, tell my personal experience with them, and offer suggestions on how you can start writing your own structured proofs.

When mathematicians write a standard proof of some theorem, they have to decide on which level of detail they will present their argument. If they provide too little justification, readers may spend a lot of time filling the holes left or, even worse, may not understand why a specific step of the proof is correct. …

I am computer science PhD student at University of Brasília. I have interest in computer science and mathematics.