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 the Proof Assistant. The result can be exported to png, to text or to LaTeX macros.
Be the first to post a review of Proof Assistant!