The Coq mailing list

[patrick.barlatier AT sfr.fr]

Hi all,

Is there anyone aware of an existing library written in Coq with  type classes about lattices?

Thanks in advance for your help.

Patrick

Mr Patrick Barlatier
Ph.D. in Computer Science
Research associate
LISTIC/Polytech'Savoie Research Laboratory
University of Savoy
BP 80439
74944 ANNECY LE VIEUX cedex
(France)
http://www.listic.univ-savoie.fr/
Mail: patrick.barlatier AT univ-savoie.fr

The information contained in this electronic mail transmission
may be privileged and confidential, and therefore, protected
from disclosure. If you have received this communication in
error, please notify us immediately by replying to this
message and deleting it from your computer without copying
or disclosing it.

Urgence Philippines : agissez, faites un don en ligne à une association.

-- Envoyé via mailforgood