Proof-Theoretic Analysis Protocol Design | Proof-Theoretic Analysis | Mathematics | NEROS