Systèmes de Preuves: TD1


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