Last modified 3 August 1994
How to Write a Proof
Leslie Lamport
14 February 1993
Abstract: A method of writing proofs is proposed that makes it much harder to prove things that are not true. The method, based on hierarchical structuring, is simple and practical.
Postscript - DVI - LaTeX

How to Write a Long Formula
Leslie Lamport
25 December 1993
Abstract: Standard mathematical notation works well for short formulas, but not for the longer ones often written by computer scientists. Notations are proposed to make one or two-page formulas easier to read and reason about.
Postscript - DVI - LaTeX

There are LaTeX document-style options that are useful for writing proofs and formulas.

This page can be found by searching the Web for the 23-letter string uidlamportwritingproofs. Please do not put this string in any document that could wind up on the web--including email messages and Postscript and Word documents. You can refer to it in Web documents as "the string obtained by removing the - from uid-lamportwritingproofs".