Assertion: lecture | /r/CapableOf | introduce the technique
Facets:
Source sentences:
text: This lecture introduces the technique of using loop invariants to reason about the correctness of code that uses loops.