๐๏ธ Constructive MathematicsIntuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance