Intuitionistic Proof Protocol Design | Intuitionistic Proof | Mathematics | NEROS