# Program Correctness: Example

Author
Hans-Dieter Hiep
AbstractAn example that shows how to write proof outlines in LaTeX.