Intuitionistic Proof Execution Protocol | Intuitionistic Proof | Mathematics | NEROS