Play with this app and build some proofs in natural deduction style. Clicking on a formula automatically expands it with possible rules. Assumptions are printed in blue. Selected one of them generates a new subtree. Attaching two trees is done by dragging the root of the first one to the leaf of the
Draw plain, circular and radial phylogenetic trees Rearrange, subtree and reroot For exporting images consider using the paid app
