Home
About Coq
Get Coq
Documentation
Community
The Coq Proof Assistant
Keyword: average case
QuicksortComplexity
: Proofs of Quicksort's worst- and average-case complexity
Eelis