The Coq mailing list

[jeanfrancois.monin AT rd.francetelecom.com]

Salut Pierre,

On fait comment actuellement pour soumettre une contrib ?  Pas vu le
mode d'emploi sur http://pauillac.inria.fr/coq/contacts-eng.html

Ca fait bien 1 mois ou 2 que j'aurais du poser la question,
c'est pour mon petit développement sur les cardinaux finis
(pas si petit que cela, qqs centaines de lignes. Ca peut surprendre,
parce qu'au début les trucs genre bool == unit se font en qqs lignes,
comme tu l'as vu.)
La généralisation amène 3 enquiquinements :
 - gérer systématiquement les permutations d'une manière ou d'une 
   autre pour n > 2
 - gérer le cas n = 0
 - calculer les cardinaux de  n + m , n * m et n -> m

  JF