You are about to access our book library "Certified reasoning on real numbers and objects in co-inductive type theory full version" .