Theorem Proving Review and Validation Protocol | Theorem Proving | Formal Methods | NEROS