coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: "Patricia Peratto" <(e29315a54f%hidden_head%e29315a54f)psperatto(e29315a54f%hidden_at%e29315a54f)adinet.com.uy(e29315a54f%hidden_end%e29315a54f)>
To: "coqclub" <(e29315a54f%hidden_head%e29315a54f)coq-club(e29315a54f%hidden_at%e29315a54f)inria.fr(e29315a54f%hidden_end%e29315a54f)>
Subject: [Coq-Club] libraries
Date: Sun, 13 May 2012 18:38:02 -0300

From which address I can download the coq's libraries

to use them in the CoqIde?

Regards

Patricia

[Coq-Club] libraries, Patricia Peratto, 05/13/2012
- Re: [Coq-Club] libraries, bertot, 05/14/2012