|
|
|
|
|
|
by jjnoakes
1092 days ago
|
|
|
> If the loop doesn't terminate, then you obviously cannot show it. I don't think this is true for all loops either - some can be proven to never terminate, just like some can be proven to terminate. And some can't be proven either way. |
|
|