Yet Another Coq Library on Machine Words.
August 8, 2022 ยท View on GitHub
This library contains general purpose definitions & results around machine words (i.e. modular arithmetic with a power of 2 modulus).
August 8, 2022 ยท View on GitHub
This library contains general purpose definitions & results around machine words (i.e. modular arithmetic with a power of 2 modulus).