package info
(click to toggle)
Folder: 1.3.1-8.20-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 31 | .vscode |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 28 | dev |
|
d | rwxr-xr-x | 4,096 | doc |
|
d | rwxr-xr-x | 4,096 | examples |
|
d | rwxr-xr-x | 4,096 | src |
|
d | rwxr-xr-x | 4,096 | test-suite |
|
d | rwxr-xr-x | 133 | theories |
 |
- | rw-r--r-- | 908 | .gitignore |
|
- | rw-r--r-- | 619 | CHANGES.md |
|
- | rw-r--r-- | 74 | Gemfile |
|
- | rw-r--r-- | 24,381 | LICENSE |
|
- | rw-r--r-- | 2,136 | Makefile |
|
- | rw-r--r-- | 95 | Makefile.coq.local |
|
- | rw-r--r-- | 95 | Makefile.hott.local |
|
- | rw-r--r-- | 688 | Makefile.local |
|
- | rw-r--r-- | 188 | README.dev |
|
- | rw-r--r-- | 6,598 | README.md |
|
- | rw-r--r-- | 86 | TODO |
|
- | rw-r--r-- | 1,928 | _CoqProject |
|
- | rw-r--r-- | 1,508 | _HoTTProject |
|
- | rw-r--r-- | 275 | buildHoTT.sh |
|
- | rwxr-xr-x | 379 | configure.sh |
|
- | rw-r--r-- | 1,140 | coq-equations.opam |
|
- | rw-r--r-- | 55 | dune-project |
|
- | rwxr-xr-x | 23 | makedoc.sh |
|
- | rw-r--r-- | 332 | siteexamples.sh |