Agda programs for certified arithmetic for binary integers and generic fractions
No issues in this repository yet.