|
|
|
|
|
|
by Joker_vD
480 days ago
|
|
|
> Interestingly, it seems division by zero is impossible, because there is no suitable remainder. Excercise: However, this algorithm still terminates and computes something, when provided with d == 0. What does it compute? Strengthen the postcondition with this information and adjust the proof accordingly. |
|
|