Automated Theorem Proving Implementation Protocol | Automated Theorem Proving | Mathematics | NEROS