Variations on Sorting<

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