Systèmes de Preuves: TD1
Recopiez chez vous le fichier:
ce fichier
Lancez le système par la commande:
ssrcoqide&
Ouvrez
votre copie
de td1.v et avancez à travers les exemples et les exercices.
Voici une
solution
.