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
