Return to Article Details A coinductive approach to verified exact real number computation Download Download PDF