Computable analysis has been well studied ever since Turing famously formalised the computable reals and computable real-valued function in 1936. However, analysis is a broad subject, and there still exist areas that have ...