package info
(click to toggle)
Folder: 1.9.0-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 65 | .github |
|
d | rwxr-xr-x | 84 | .nix |
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 92 | analysis_stdlib |
|
d | rwxr-xr-x | 4,096 | classical |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 49 | etc |
|
d | rwxr-xr-x | 4,096 | experimental_reals |
|
d | rwxr-xr-x | 4,096 | reals |
|
d | rwxr-xr-x | 64 | reals_stdlib |
|
d | rwxr-xr-x | 54 | scripts |
|
d | rwxr-xr-x | 4,096 | theories |
 |
- | rw-r--r-- | 435 | .dir-locals.el |
|
- | rw-r--r-- | 35 | .gitattributes |
|
- | rw-r--r-- | 112 | .gitignore |
|
- | rw-r--r-- | 245 | AUTHORS.md |
|
- | rw-r--r-- | 309,823 | CHANGELOG.md |
|
- | rw-r--r-- | 155 | CHANGELOG_UNRELEASED.md |
|
- | rw-r--r-- | 4,405 | CONTRIBUTING.md |
|
- | rw-r--r-- | 3,694 | INSTALL.md |
|
- | rw-r--r-- | 21,863 | LICENCE |
|
- | rw-r--r-- | 932 | MANIFEST |
|
- | rw-r--r-- | 115 | Makefile |
|
- | rw-r--r-- | 5,077 | Makefile.common |
|
- | rw-r--r-- | 1,224 | ORIGINAL_FILES.md |
|
- | rw-r--r-- | 7,542 | README.md |
|
- | rw-r--r-- | 2,744 | _CoqProject |
|
- | rw-r--r-- | 1,071 | coq-mathcomp-analysis-stdlib.opam |
|
- | rw-r--r-- | 1,488 | coq-mathcomp-analysis.opam |
|
- | rw-r--r-- | 1,309 | coq-mathcomp-classical.opam |
|
- | rw-r--r-- | 1,165 | coq-mathcomp-experimental-reals.opam |
|
- | rw-r--r-- | 1,032 | coq-mathcomp-reals-stdlib.opam |
|
- | rw-r--r-- | 1,022 | coq-mathcomp-reals.opam |
|
- | rw-r--r-- | 433 | default.nix |