ssreflect - Permutations

Subject: Ssreflect Users Discussion List

List archive

From: Bas Spitters <>
To: Ssreflect-mailinglist <>, Coq Club <>
Subject: Permutations
Date: Mon, 16 Nov 2009 14:21:00 +0100
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=f7HvP7R+4qKfuKSpjG7DcKnxsTUGCfGF1qnZYAwRmRv0fDnDyle2z90lR5Kwt7avNF aFZ0oG1cRu21RK5OjVeWKIrsSmdYg5WfGz8kMlqozlHK5vJXRVPAYhHihiBWEDQrU3T7 NTUl9XEs1q2mD+vyA/RQ37dDUNqWRshI3Jfo4=

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?
Is there any initiative to unify them?

Thanks,

Bas

Permutations, Bas Spitters, 11/16/2009
- RE: Permutations, Georges Gonthier, 11/16/2009
- Re: Permutations, François Garillot, 11/16/2009