coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Cours de Coq

From: Ahmed Zhahla <Z-ahmed AT web.de>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Cours de Coq
Date: Thu, 27 Sep 2007 16:26:13 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: http://freemail.web.de/

Bonjours,

je suis �tudiant en Allemagne, et je cherche un "cours de Coq", (Introduction � Coq). Peut �tre vous pouvez m'aider! et me dire ou je peux trouver ce genre de cours.

Meci beaucoup,

Ahmed Zehahla

XXL-Speicher, PC-Virenschutz, Spartarife & mehr: Nur im WEB.DE Club!
Jetzt testen! http://produkte.web.de/club/?mc=021130

[Coq-Club] Cours de Coq, Ahmed Zhahla
- Re: [Coq-Club] Cours de Coq, Yevgeniy Makarov