GitHub repository: mechvel/Binary
Created: 2018-10-20T17:40:53Z
Description: a library of provable programs in Agda for natural numbers in binary representation