4 ms·

The relevant paper is actually from 2011.

• j2kun 8y ago
  Since the article provides information and context, its date is probably the right one to use.
  • davnn 8y ago
    You‘re right.. my comment was thought of as a note for people skimming over the comments, sorry.
• bonzini 8y ago
  He has been talking about hierarchical proofs for longer than that. I saw Lamport talking about "how to write a proof" in March 2006 (press release here, in Italian: https://www.usi.ch/it/comunicati-stampa/2991 https://www.usi.ch/it/comunicati-stampa/2991).