1 search result for "tag:"date: 2010-06""

Showing 1 - 1
  1. coq-quicksort-complexity

    No documentation

    Proofs of Quicksort's worst- and average-case complexity
    keyword: quicksort keyword: complexity keyword: average-case category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms date: 2010-06
    Eelis
    8.10.0
    BSD
    Used by 0 other packages
    07 Dec 2019