CS245 Proof Validator

Based on the natural deduction system outlined in CS245. Try pasting a proof! Controls on Github.