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: Sep 25 2022 at 23:25 UTC