The Coq mailing list

[Pierre Casteran <pierre.casteran AT labri.fr>]

Sunil Kothari a écrit :
>  3. Are there formalizations showing usage of any of the 
> implementations of finite maps ? If so, I will appreciate pointers.
Hi,
 I've started a development which uses finite maps for formalizing some 
class of distributed
algorithms. Finite maps are used to represent finite graph colorings. 
It's still a draft, but
I will be able to send you a preliminary version in some weeks,

Pierre
>  Sunil