/Binary-4

A library of provable programs in Agda for natural numbers in binary representation

Primary LanguageAgdaOtherNOASSERTION

No issues in this repository yet.