[acl2/acl2] bb319a: [unicode] add some utility theorems to facilitate ...

[Eric McCarthy]

Branch: refs/heads/unicode-utility-theorems
Home: https://github.com/acl2/acl2
Commit: bb319a599e973cf8f662fd5c8784f7a264f43e37
https://github.com/acl2/acl2/commit/bb319a599e973cf8f662fd5c8784f7a264f43e37
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-01 (Mon, 01 Jun 2026)

Changed paths:
M books/unicode/uchar.lisp
M books/unicode/utf8-decode.lisp
M books/unicode/utf8-encode.lisp

Log Message:
-----------
[unicode] add some utility theorems to facilitate round-trip theorems of users of unicode such as parsers



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications