The Coq mailing list

["Marc Daumas" <Marc.Daumas AT ens-lyon.fr>]

Bonjour,

Je diffuse par le réseau Internet et bientôt par voie de CD-ROM, le cours
d'Yves Bertot, chargé de recherche à l'INRIA de Sophia-Antipolis dans le
projet Lemme. Ce cours de seconde année du Magistère d'Informatique et de
Modélisation de l'Ecole Normale Supérieure de Lyon est sur la programmation
fonctionnelle et les preuves et il présente l'utilisation de Coq.
L'enregistrement est accompagné du forum public de discussion Coq-User.DMI.
Pour toute information, consulter la FAQ (Foire aux questions) de ce forum.

Les enregistrements vidéo des cours sont disponibles au fur et à mesure. Une
procédure d'identification gratuite a été mise en place. Les fichiers sont
au format real. Il vous faudra télécharger un client gratuit si vous n'en
avez pas encore.

http://listes.ens-lyon.fr/wws/info/coq-user.dmi

--
Marc Daumas - Charge de recherche au CNRS (LIP - ENS de Lyon)
mailto:Marc.Daumas AT ENS-Lyon.Fr
 - http://www.ens-lyon.fr/~daumas
PGP Key FP : 69B6 11D1 DA61 717F DF76  5B92 E4EC B289 D607 F324
ENS de Lyon - 46, allee d'Italie - 69364 Lyon Cedex 07 - FRANCE
Phone: (+33) 4 72 72 83 52 - Fax: (+33) 4 72 72 80 80