package info
(click to toggle)
Folder: 20220816-2
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 4,096 | UniMath |
|
d | rwxr-xr-x | 52 | build |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 25 | emacs |
|
d | rwxr-xr-x | 117 | latex |
|
d | rwxr-xr-x | 44 | sub |
|
d | rwxr-xr-x | 72 | util |
 |
- | rw-r--r-- | 446 | .gitignore |
|
- | rw-r--r-- | 173 | .gitmodules |
|
- | rw-r--r-- | 10,141 | .mailmap |
|
- | rw-r--r-- | 3,787 | .travis.yml-old |
|
- | rw-r--r-- | 15,455 | INSTALL.md |
|
- | rw-r--r-- | 622 | INSTALL_COQIDE.md |
|
- | rw-r--r-- | 2,476 | INSTALL_NIX.md |
|
- | rw-r--r-- | 3,323 | INSTALL_OPAM.md |
|
- | rw-r--r-- | 2,837 | INSTALL_WIN.md |
|
- | rw-r--r-- | 778 | LICENSE.md |
|
- | rw-r--r-- | 19,289 | Makefile |
|
- | rw-r--r-- | 3,017 | README.md |
|
- | rw-r--r-- | 5,908 | USAGE.md |
|
- | rw-r--r-- | 27 | _config.yml |
|
- | rw-r--r-- | 471 | coq-unimath.opam |