| Mode | Name | Size |
|---|---|---|
| -rw-r--r-- | README | 84L |
| -rwxr-xr-x | explore.py | 119L |
| -rw-r--r-- | full_spaces | 136L |
| -rwxr-xr-x | get_properties.sh | 7L |
| -rwxr-xr-x | get_spaces.sh | 19L |
| -rwxr-xr-x | get_theorem.py | 78L |
| -rwxr-xr-x | get_theorems.sh | 7L |
| -rw-r--r-- | list | 7705L |
| -rw-r--r-- | properties | 126L |
| -rw-r--r-- | spaces | 136L |
| -rw-r--r-- | theorems | 202L |
