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