Proof Complexity Analysis Review and Validation Protocol | Proof Complexity Analysis | Theoretical Computer Science | NEROS