4 ms·How hard would it be to prove correctness of this quicksort in an example?by NieDzejkob 5y agoHow hard would it be to prove correctness of this quicksort in an example?