Visualising Propositional Tableaux

During one of our theory courses we had to write a model checker for propositional formulae as part of the coursework. This is an extension of that to visualise the tableaux expansion. The nodes come in all funny sizes because I chose responsiveness over node size consistency.

Available here