Dissertation application for visualising and verifying logical formula trees.