Computer-Assisted Proof Validation and Review Protocol | Computer-Assisted Proof | Mathematics | NEROS