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: Feb 27 2024 at 08:17 UTC