coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] A book about Coq : A first draft (in french)

From: Pierre Casteran <casteran AT labri.fr>
To: coq-club AT pauillac.inria.fr, alp-diff AT univ-lille1.fr, info-hol AT ultimate.cs.byu.edu, types-wg AT durham.ac.uk
Subject: [Coq-Club] A book about Coq : A first draft (in french)
Date: Wed, 11 Sep 2002 14:11:09 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: LaBRI

Hello,

The first draft of a new book about Coq, by Yves Bertot and Pierre
Casteran
is available at the following address :
  ftp://ftp-sop.inria.fr/lemme/Yves.Bertot/bouquin/coqart.ps.gz

At present, only the french version is written.
It still contains some problematic details, signaled by margin notes.
These details will be corrected in the next versions.

Nevertheless, we will acknowledge any remark people will send us.

Pierre

--
Pierre Casteran,
LaBRI, Universite Bordeaux-I      |
351 Cours de la Liberation        |
F-33405 TALENCE Cedex             |
France                            |
tel : (+ 33) 5 56 84 69 31
fax : (+ 33) 5 56 84 66 69
email: Pierre . Casteran @ labri . u-bordeaux . fr  (but whithout white
space)
www: http://dept-info.labri.u-bordeaux.fr/~casteran

[Coq-Club] A book about Coq : A first draft (in french), Pierre Casteran