Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Permutations

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Permutations


chronological Thread 

Hi,

Is there any development of permutations (of natural numbers) other than 
"Permutation" in the Standard Library?

Kind regards,

Iris





Archive powered by MhonArc 2.6.16.

Top of Page