Tool for constructing using Natural Deduction (CS1231)