Proof Object Construction Workflow Protocol | Proof Object Construction | Mathematics | NEROS