Algorithm Search⌘K

Concepts

A concept is an idea that many pages use, such as a loop invariant.

All concepts

  • Loop invariant

    A statement about the variables of a loop that is true before each step. It is the main tool to prove that a loop is correct.

    intro