package info
(click to toggle)
Folder: 9.0-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 102 | contrib |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | etc |
|
d | rwxr-xr-x | 4,096 | test |
|
d | rwxr-xr-x | 4,096 | theories |
 |
- | rw-r--r-- | 33 | .dir-locals.el |
|
- | rw-r--r-- | 1,438 | .gitignore |
|
- | rw-r--r-- | 208 | .gitmodules |
|
- | rw-r--r-- | 2,801 | .mailmap |
|
- | rw-r--r-- | 1,057 | CREDITS.txt |
|
- | rw-r--r-- | 8,653 | INSTALL.md |
|
- | rw-r--r-- | 1,615 | LICENSE.txt |
|
- | rw-r--r-- | 1,229 | Makefile |
|
- | rw-r--r-- | 11,964 | Makefile.coq.local |
|
- | rw-r--r-- | 555 | Makefile.coq.local-early |
|
- | rw-r--r-- | 3,333 | README.md |
|
- | rw-r--r-- | 68,813 | STYLE.md |
|
- | rw-r--r-- | 1,032 | UNICODE.txt |
|
- | rw-r--r-- | 892 | coq-hott.opam |
|
- | rw-r--r-- | 2,620 | dune |
|
- | rw-r--r-- | 647 | dune-project |
|
- | rw-r--r-- | 1,489 | flake.lock |
|
- | rw-r--r-- | 1,365 | flake.nix |