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: Dec 07 2023 at 20:16 UTC