This library contains general purpose definitions & results around machine words (i.e. modular arithmetic with a power of 2 modulus).
olaure01 / coqword Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jasmin-lang/coqword
Yet Another Coq Library on Machine Words.
License: MIT License