The Coq mailing list

[Victor Porton <porton AT narod.ru>]

Oh, I found it:

http://arxiv.ccsd.cnrs.fr/e-print/math/0402336v1

It is from this article:
http://arxiv.ccsd.cnrs.fr/abs/math/0402336v1

Now, admins, put these links to your wiki. I have no permission to edit the 
page I intended to.

03.11.2011, 03:38, "Victor Porton" 
<porton AT narod.ru>:
> The article at http://arxiv.org/abs/math/0311260v2 about a formalization of ;
> ZF in Coq contains "and also contains as a tar-attachment to the source 
> file the revised and expanded version of the proof development which had 
> been attached to math.HO/0311260".
>
> I have seen this .tar file earlier but now cannot find it again. Where is 
> the tar with Coq sources?
>
> We need to put a reference to that tar somewhere to Cocorico in order to 
> make its finding easier. It is an important, and as it seems to me, a well 
> written system of modules. It should be easily findable for visitors of Coq 
> site (now it isn't).

-- 
Victor Porton - http://portonvictor.org