Théorie de la Programmation - L3IF
Les TPs/TDs
de ce cours sont assurés par
Ioana Pasca
et
Marc Lasson
Cours
transparents
(faites pdfnup --nup 2x4 pour une version à imprimer)
débuter en caml -
aller un peu plus loin en caml -
(ouvrir le fichier
dans emacs, taper C-c C-e pour lancer Caml)
exemples en Caml
La page de Coq.
Le
fichier
pour utiliser coqide avec suavité.
Le sujet du partiel de l'an dernier.
Le hors programme du dernier cours.