Variations on Sorting<
Formal specification of list sorting
Merge sort
Insertion sort
See also
Module Sorting of Coq standard library contains another implementation of mergesort and another characterization of permutations.
Last modified: Fri May 1 15:58:52 CEST 2015