Automated Theorem Proving Protocol Design | Automated Theorem Proving | Mathematics | NEROS