3 ms·I had never seen Lamport's idea of structured proofs. I just read the linked paper and I love it.by scythmic_waves 5y agoI had never seen Lamport's idea of structured proofs. I just read the linked paper and I love it.