Ingénierie de la preuve
Vous trouverez en pièces jointes les sujets de TP de l'année 2009/2010, ainsi que la dernière version (mars 2010) du fameux "Coq in a hurry" de Yves Bertot (un des auteurs, avec P. Castéran, du non moins fameux "Coq Art")
Vous trouverez en pièces jointes les sujets de TP de l'année 2009/2010, ainsi que la dernière version (mars 2010) du fameux "Coq in a hurry" de Yves Bertot (un des auteurs, avec P. Castéran, du non moins fameux "Coq Art")