Skip to main content

How to write a proof

Leslie Lamport ( Compaq Systems Research Center )
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.

Share this: