Cohen, C., & Sakaguchi, K. Stable sort algorithms and their stability proofs in Rocq [Computer software]