๐๏ธ Constructive AnalysisSpecificIntuitionistic Mathematics, Computable Reals, Bishop Mathematics, Proof Relevance