Binary division and its properties in Agda
Primary LanguageAgdaThe UnlicenseUnlicense
This repository is not active