Proof Search Protocol Design | Proof Search | Mathematics | NEROS