Démontrer automatiquement des petits théorèmes, mini-Prolog
Voir l'
énoncé au format PDF
. Pour toutes questions,
.
.