Proof Search Review and Validation Protocol | Proof Search | Mathematics | NEROS