The Coq mailing list

[Pierre Courtieu <Pierre.Courtieu AT cnam.fr>]

Hi, I know ALEA contrib by C. Paulin-Mohring. It contains a
development on CPOs using type classes.

https://www.lri.fr/~paulin/ALEA/

Best regards,
Pierre

2013/11/18  
<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
>
>