Pour insérer une formule
- cliquer sur le bouton en haut
- double-cliquer dans la zone blanche
- insérer une formule depuis les menus
- cliquer sur une des hypothèses utilisables en haut
Pour déplacer un arbre de preuve :
- déplacer avec la souris comme un drag 'n drop
Pour appliquer une règle :
- cliquer sur un noeud, puis sur un des boutons à gauche pour insérer la règle correspondante
-
cliquer sur un noeud, puis un deuxième en enfonçant Ctrl, puis clique
sur un des boutons à gauche pour insérer la règle correspondante
- cliquer sur un noeud pour faire apparaître des hypothèses utilisables
-
ou placer des arbres de preuves à peu près sur une ligne horizontale
puis tracer à la souris un trait horizontal sous les arbres