Formal Symbolic Derivation Execution Protocol | Formal Symbolic Derivation | Mathematics | NEROS