Bubble Sort - Loop Invariant - Proof of Correctness - Discrete Math for Computer Science

In this video I use a pair of loop invariants and induction to prove correct bubble sort.