Proof Assistant Formalization Protocol Design | Proof Assistant Formalization | Mathematics | NEROS