4 ms·

Here is the description of hierarchical proofs: https://lamport.azurewebsites.net/pubs/proof.pdf https://lamport.azurewebsites.net/pubs/proof.pdf

• geoalchimista 8y ago
  This is a pure gem. It's like turning a prose into an abstract syntax tree for a human parser. :) I do think it adds to the clarity for the examples presented in it. But whether it applies well to more complicated proofs (those spanning hundreds of pages in a math paper) remains to be seen. I think at least writers of introductory textbook could adopt the style to benefit beginner students.