Bishop-Style Constructive Analysis Protocol Design | Bishop-Style Constructive Analysis | Mathematics | NEROS