news
newest
ask
show
jobs
1
An Imperative Language for Verified Exact Real-Number Computation