Tool for constructing proofs using Natural Deduction. (CS1231)