[Assignment 5] Program correctness and logic (due: 10/11, 23:59:59 (KST))

[Lee-Janggun]

Prove simple programs in why3.

• Read the description here. You're going to fill out the TODO!s.

• Submit your code here.

• IMPORTANT: only the last submission counts. Please make sure the last submission succeeds.

• IMPORTANT: don't fork this repository. It'll be public!

[Jaewookim08]

For those using Why3 in the browser, ensure you run the verification with a sufficient number of steps. If the step count is too low, Why3 might not be able to verify the correct solution.

Related issue: #379 (comment)