Formal Proof Checking Protocol Design | Formal Proof Checking | Mathematics | NEROS