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