Automated Theorem Proving Validation and Review Protocol | Automated Theorem Proving | Mathematics | NEROS