A Proof of the Convergence of the Hegselmann-Krause Dynamics on the Circle

In this note, we give a complete proof that Hegselmann-Krause systems converge on the circle following the proof strategy developed by Hegarty, Martinsson, and Wedin.