package info
(click to toggle)
Folder: 1.8.0-2
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 84 | .pc |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 73 | examples |
|
d | rwxr-xr-x | 4,096 | src |
|
d | rwxr-xr-x | 4,096 | theories |
 |
- | rw-r--r-- | 12 | AUTHORS |
|
- | rw-r--r-- | 2,744 | CHANGELOG |
|
- | rw-r--r-- | 84 | CONTRIBUTORS |
|
- | rw-r--r-- | 35,147 | COPYING |
|
- | rw-r--r-- | 7,651 | COPYING.LESSER |
|
- | rw-r--r-- | 1,256 | CodeMeta.json |
|
- | rw-r--r-- | 1,177 | Makefile |
|
- | rw-r--r-- | 4,362 | README.md |
|
- | rw-r--r-- | 525 | TODO.txt |
|
- | rw-r--r-- | 1,900 | _RocqProject |
|
- | rwxr-xr-x | 532 | configure |
|
- | rw-r--r-- | 629 | description |
|
- | rw-r--r-- | 18,629 | index.html |
|
- | rw-r--r-- | 17,728 | ra.png |
|
- | rw-r--r-- | 1,228 | rocq-relation-algebra.opam |
