Propositional Logic Proof Checker Checks proof of the form Usage make ./a.out Follow the instructions appearing in the terminal. Input Format The input is expected to be well formed. Brackets surrounding expressions need not be there. For more info, refer Readme.html