Intuitionistic Proof Workflow Protocol | Intuitionistic Proof | Mathematics | NEROS