Theorem Proving Protocol Design | Theorem Proving | Formal Methods | NEROS