coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]Coq examples and exercises for coq-8.1

From: Pierre Casteran <pierre.casteran AT labri.fr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club]Coq examples and exercises for coq-8.1
Date: Thu, 15 Feb 2007 08:51:34 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hello,

The collection of examples and exercises : http://www.labri.fr/~casteran/CoqArt has been adapted to coq-8.1.
Since the release of the book, some exercises have been added (see section "New Exercises"). Some of them use
new features. We plan to cover the most possible the changes from 8.0 to 8.1.

We will release soon versions of this site for 8.0 and coq CVS.

Pierre

[Coq-Club]Coq examples and exercises for coq-8.1, Pierre Casteran