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 |
