I'm not a professional. I've been reading Bishop. I have questions. They are likely fairly basic to a professional. Am I on topic here, or should I wander over to the other site?
From a broad perspective, questions about the mathematics of constructive systems are on topic. Of course, particular questions could be off topic for a number of reasons. In particular, it is easy to create questions which come down to subjective opinion, and those questions are not on topic. But nontrivial questions about the mathematics of these systems seem to receive answers and upvotes.