An Imperative Language for Verified Exact Real-Number Computation (arxiv.org)1 points by matt_d 11 hours ago | 0 comments