CSCI 4041 Reference Documents Loop Invariant Example of how to write up a proof for a loop invariant in Bubble sort.