TME 3 : Preuves par induction structurelle

Sujet

Enregistrez (clic droit -> enregistrer sous ...) et ouvrez le fichier suivant dans emacs, puis modifiez-le en suivant les instructions :
tme03student.v

Le sujet en pdf (pour lecture) ici