Natural Deduction Execution Protocol | Natural Deduction | Mathematics | NEROS