TME 2 : Formules universellement valides

Installation sur vos machines personnelles

Pour travailler chez vous avec un environnement équivalent à celui utilisé en TME, il vous faudra Emacs, Coq, et ProofGeneral :
sudo apt-get install emacs
sudo apt-get install coq
sudo apt-get install proofgeneral
(Bien sûr si vous n'utilisez pas APT, il faudra adapter les commandes ci-dessus avec le bon gestionnaire de paquets :-) )

Sujet

Enregistrez et ouvrez le fichier suivant dans emacs, puis modifiez-le en suivant les instructions :
tme02student.v

Le sujet en pdf (pour lecture) ici