Text this: Computable analysis and notions of continuity in Coq