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