A library of provable programs in Agda for natural numbers in binary representation
Primary LanguageAgdaOtherNOASSERTION
No issues in this repository yet.