package info
(click to toggle)
Folder: test1
 |
.. (parent) | |||
 |
- | rw-r--r-- | 798 | .gitignore |
|
- | rwxr-xr-x | 798 | cleanup.sh |
|
- | rwxr-xr-x | 1,545 | hello.sh |
|
- | rw-r--r-- | 4,570 | hex.M1 |
|
- | rw-r--r-- | 5,904 | hex0.hex0 |
|
- | rw-r--r-- | 11,815 | hex1.hex0 |
|
- | rw-r--r-- | 84 | proof1.answer |
|
- | rw-r--r-- | 84 | proof2.answer |