LARA This is an old revision of the document! Proving Correctness of Some Small Examples In this demo we go through several examples and prove them correct using Jahob. Examples of Functions For homework, you will have more such examples.