Loops

This demonstrates how to write more complex loop invariants, for while, do ... while, and for loops.

Contents

• main.cpp
• main_cpp_proof.v