This application aids in the creation of Natural Deduction style logical proofs. The style is that used in University of Auckland Philosophy courses.
Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros.