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

kaist-cp / cs220

258 stars 47 forks source link

Open Lee-Janggun opened 2 weeks ago

Lee-Janggun commented 2 weeks ago

Prove simple programs in why3.

Read the description here. You're going to fill out the TODO!s.
You can grade your solution yourself by running ./scripts/grade.sh 5.
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!

Akais24 commented 1 week ago

The link in second line does not work. It seems like to change with the changed path of assets/why3.

And about README.md of assignment05, the links are also not working for me. It seems like due to the absence of www.

Lee-Janggun commented 1 week ago

@Akais24 Thank you. I fixed the links.