mechvel/Binary-3.2
A library of provable programs in Agda for natural numbers in binary representation
AgdaNOASSERTION
Stargazers
No one’s star this repository yet.
A library of provable programs in Agda for natural numbers in binary representation
AgdaNOASSERTION
No one’s star this repository yet.