[acl2/acl2] f47116: Started books/projects/set-theory/algebra/ with de...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: f4711653c2db16587aab7d8144c21439d4d4f797
https://github.com/acl2/acl2/commit/f4711653c2db16587aab7d8144c21439d4d4f797
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-07-04 (Sat, 04 Jul 2026)

Changed paths:
A books/projects/set-theory/algebra/groups.lisp
A books/projects/set-theory/algebra/integer-group.lisp
A books/projects/set-theory/future-work.txt

Log Message:
-----------
Started books/projects/set-theory/algebra/ with definition of a group and an example. Added a file suggesting future work in ACL2(zfc).



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

[acl2buildserver]

Branch: refs/heads/testing