Hacker News new | ask | show | jobs
by NieDzejkob 1772 days ago
How hard would it be to prove correctness of this quicksort in an example?