Correctness of Two Sorting Algorithms Download the PDF version of this article. two-sorting-algorithms.pdf 200 KB On Wednesday, 8th of March, 2023, I gave a lecture about two sorting algorithms for the course Program Correctness (see also the lecture series on YouTube, available only in Dutch). Then, due to limited time, I only discussed a sketch of the correctness proof.