The Coq mailing list

[David Pereira <dpereira AT liacc.up.pt>]

Hi all,

Does anyone know about any implementation of the powerset construction for 
finite sets that is compatible with the FSet library of Coq's standard 
library?

Thanks in advance.

Best regards,
  David.