An Imperative Language for Verified Exact Real-Number Computation (arxiv.org) 1 point by matt_d 7 hours ago 0 comments Copy Link View on Hacker News