Lorsqu'on clique sur l'un des éléments du graphe affiché, sa définition ou son énoncé apparaît en bas de l'écran.

                          Si nécessaire, zoomer sur la fenêtre du graphe ( pavés  +  et  - , ou souris : molette avant/arrière),
                                                 ou déplacer le graphe à l’intérieur de cette fenêtre (souris : clic gauche enfoncé, mouvement)


 

Et finalement, cliquer sur le pavé  « Afficher » !

.... et la profondeur du graphe : le rang auquel le graphe s’arrête        ("infinie" : jusqu'à la base de l'axiomatique !)


Choisir les éléments à afficher...





 

Cliquer sur « Tous »   pour afficher l’ensemble des graphes, ou sur un théorème pour afficher son graphe :  

         (si "Tous" + affichage complet (5 cases cochées) + "Profondeur infinie",
          compter une douzaine de secondes avant l'affichage : énormément de calculs !)




.