Gabriel Ferreira SilvaWhy We Need Structured Proofs in MathematicsStructured Proofs à la Leslie Lamport are described and their use/need in mathematics is motivated.7 min read·Jun 22, 2020--1--1