Proof-Theoretic Analysis Review and Validation Protocol | Proof-Theoretic Analysis | Mathematics | NEROS