package info
(click to toggle)
Folder: test
 |
.. (parent) | |||
|
d | rwxr-xr-x | 43 | Algebra |
|
d | rwxr-xr-x | 31 | Classes |
|
d | rwxr-xr-x | 74 | Metatheory |
|
d | rwxr-xr-x | 27 | Pointed |
|
d | rwxr-xr-x | 27 | Spaces |
|
d | rwxr-xr-x | 31 | WildCat |
|
d | rwxr-xr-x | 4,096 | bugs |
 |
- | rw-r--r-- | 462 | Idempotents.v |
|
- | rw-r--r-- | 798 | README.md |
|
- | rw-r--r-- | 137 | dune |