computable 0.1.0

Computable real numbers with guaranteed correctness via interval refinement
Documentation