Library Coq.Numbers.HexadecimalN


HexadecimalN

Proofs that conversions between hexadecimal numbers and N are bijections
Conversion from/to signed hexadecimal numbers