Gabriel Ferreira SilvaWhy We Need Structured Proofs in MathematicsStructured Proofs à la Leslie Lamport are described and their use/need in mathematics is motivated.Jun 22, 20201Jun 22, 20201