/Binary-3.2

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

Primary LanguageAgdaOtherNOASSERTION

Stargazers

No one’s star this repository yet.