I am looking for a bijective function that converts a char to nat, and hopefully its reverse function
How is this supposed to work? A char is just defined as 8 booleans in Isabelle.
Cant u use
Last updated: Aug 13 2022 at 05:18 UTC