Formal Constructive Derivation Workflow Protocol | Formal Constructive Derivation | Mathematics | NEROS