Ssreflect Users Discussion List

[(François Garillot)]

Bas Spitters wrote today: 

> There are at least three libraries of permutations:
>  http://coq.inria.fr/contribs/Huffman.Permutation.html
>  http://coq.inria.fr/library/Coq.Sorting.Permutation.html
>  Ssreflect's perm.v
>
> Are there others?

A part of the Coccinelle library treats (list) permutations:
http://www.lri.fr/~contejea/Coccinelle/coccinelle.html

-- 
François Garillot