github.com/coq/opam-coq-archive
Proofs of Quicksort's worst- and average-case complexity
opam install coq-quicksort-complexity.8.10.0