package info
(click to toggle)
Folder: 20240923-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 | 99 | util |
 |
- | rw-r--r-- | 456 | .gitignore |
|
- | rw-r--r-- | 173 | .gitmodules |
|
- | rw-r--r-- | 10,217 | .mailmap |
|
- | rw-r--r-- | 3,787 | .travis.yml-old |
|
- | rw-r--r-- | 2,656 | BUILD_DUNE.md |
|
- | rw-r--r-- | 15,352 | INSTALL.md |
|
- | rw-r--r-- | 738 | 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,548 | Makefile |
|
- | rw-r--r-- | 3,850 | README.md |
|
- | rw-r--r-- | 5,911 | USAGE.md |
|
- | rw-r--r-- | 27 | _config.yml |
|
- | rw-r--r-- | 471 | coq-unimath.opam |
|
- | rw-r--r-- | 47 | dune-project |