Outils
  • GRAPHVIZ : un outil pour visualiser les graphes de relations au format .dot

    exemple : la relation "est_moitié_de" sur {0..128} au format .dot et le résultat .pdf de graphviz.
  • DOMINO : un jeu qui ressemble au Mahjong et qui, en fait, construit des preuves en déduction naturelle (explications)
  • PANDA MISSION : un outil pour construire des preuves en déduction naturelle

Responsables de l'UE : Cristian Éné & Michaël PÉRIN