New posts in loop-invariant

What is a loop invariant?

algorithm terminology definition clrs loop-invariant