[acl2/acl2] 6d2321: Extended set-theory library, including topology su...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 6d232162e467366c144d9933275a3c9ff7a66853
https://github.com/acl2/acl2/commit/6d232162e467366c144d9933275a3c9ff7a66853
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/projects/hol-in-acl2/acl2/hpp-set.lisp
M books/projects/hol-in-acl2/acl2/lemmas.lisp
M books/projects/hol-in-acl2/examples/ex1-proof.lisp
A books/projects/set-theory/bijection.lisp
A books/projects/set-theory/finite/finite-bang.lisp
A books/projects/set-theory/finite/finite-image.lisp
A books/projects/set-theory/finite/finite-inverse.lisp
M books/projects/set-theory/finite/top.lisp
A books/projects/set-theory/swap.lisp
M books/projects/set-theory/top.lisp
A books/projects/set-theory/topology/compact-is-normal.lisp
A books/projects/set-theory/utilities/cert.acl2
A books/projects/set-theory/utilities/defthme.lisp

Log Message:
-----------
Extended set-theory library, including topology sub-library.

Claude code (Claude Opus 4.8, max effort) made a number of
contributions, clearly marked. Some of them would probably benefit
from being cleaned up, and I plan to do that in a future commit. This
work was all done in ACL2+books built with commit hash
b80b4da39cd5c4b565526c93568bdb8e67297143.



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

[acl2buildserver]

Branch: refs/heads/testing

[acl2buildserver]

Branch: refs/heads/testing-kestrel

Commit: f0b8bc37708efcbd9166e04cfd4d2c187199d760
https://github.com/acl2/acl2/commit/f0b8bc37708efcbd9166e04cfd4d2c187199d760
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-structurals.lisp

Log Message:
-----------
Merge commit '24be2c2789e9b5a918563fb2d852febaf111da52' into HEAD


Compare: https://github.com/acl2/acl2/compare/24be2c2789e9...f0b8bc37708e