[acl2/acl2] 7c4139: Start on proofs for unique-names and renaming

[Stephen Westfold]

Branch: refs/heads/validate-unique
Home: https://github.com/acl2/acl2
Commit: 7c413977a695fe1aae93f2d0c51ad425b7daf943
https://github.com/acl2/acl2/commit/7c413977a695fe1aae93f2d0c51ad425b7daf943
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-07-10 (Fri, 10 Jul 2026)

Changed paths:
M books/kestrel/remora/monomorphize.lisp
A books/kestrel/remora/renaming-evaluation.lisp
A books/kestrel/remora/unique-names-validation.lisp
M books/kestrel/remora/unique-names.lisp

Log Message:
-----------
Start on proofs for unique-names and renaming



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