The Coq mailing list

[Pierre Casteran <casteran AT labri.fr>]

Hello,

The following site contains about 50 exercises on Coq (with
their solution) written by Yves Bertot and myself (taken from
our book (see http://www-sop.inria.fr/lemme/Yves.Bertot/coqart.html ;)

http://www.labri.fr/Perso/~casteran/EXPORTABLE/index.html

Its size is regularly increasing and we plan to double the number
of exercises for next summer.
It is highly improvable and every help is welcome.

Pierre




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