Agda programs for certified arithmetic for binary integers and generic fractions
No one’s star this repository yet.