Costruisci la tua prova in deduzione naturale.
Selezionando una formula, si espande l'albero con l'applicazione di una regola possibile.
Le ipotesi sono in blu. Premendo sopra si crea uno nuovo sotto-albero.
Si può attaccare un albero ad'un altro trascinando la radice del primo verso la foglia dell'altro.
La prova è finita quando è circondata di un rettangolo rosso.
Miiglioramento del display
9Apps 4.9
