/BFLib-0.1

Agda programs for certified arithmetic for binary integers and generic fractions

No issues in this repository yet.