https://github.com/acl2/acl2
Tip revision: 2c7c6907ca47f36decf5bd17eba449eebe29c5cc authored by Matt Kaufmann on 12 July 2022, 01:02:09 UTC
Made miscellaneous changes to accommodate GCL
Made miscellaneous changes to accommodate GCL
Tip revision: 2c7c690
File | Mode | Size |
---|---|---|
README.md | -rw-r--r-- | 893 bytes |
banach-tarski-b-0.lisp | -rw-r--r-- | 195.2 KB |
banach-tarski-s2.lisp | -rw-r--r-- | 335.9 KB |
banach-tarski.lisp | -rw-r--r-- | 378.6 KB |
countable-sets.lisp | -rw-r--r-- | 23.9 KB |
free-group.lisp | -rw-r--r-- | 114.7 KB |
groups.lisp | -rw-r--r-- | 59.8 KB |
hausdorff-paradox-1.lisp | -rw-r--r-- | 204.6 KB |
hausdorff-paradox-2.lisp | -rw-r--r-- | 237.3 KB |
rotations.lisp | -rw-r--r-- | 43.8 KB |
supportive-theorems.lisp | -rw-r--r-- | 3.3 KB |