[acl2/acl2]
0 views
Skip to first unread message
Stephen Westfold
Jul 28, 2026, 1:39:47 AM (yesterday) Jul 28
to acl2-...@googlegroups.com
Branch: refs/heads/validate-unique
Home: https://github.com/acl2/acl2
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Stephen Westfold
Jul 28, 2026, 1:41:09 AM (yesterday) Jul 28
to acl2-...@googlegroups.com
Branch: refs/heads/monomorphization-termination
Reply all
Reply to author
Forward
0 new messages