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 |