mechvel / Binary-4

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

2100

mechvel/Binary-4 Stargazers

Lane Biocini
lane-core
TrigDeveloper1
TrigDevelopment

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.