the-q 0.1.0

Verified bounded rational (Q) arithmetic with machine-checked directed rounding
Documentation