fact: Definition nibbleToChar (n: NIBBLE) := match String.get (toNat n) "0123456789ABCDEF" with None => " "%char | Some c => c end.
imports: Coq(ZArith.ZArith Strings.String) mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool eqtype ssrnat seq fintype tuple zmodp)