package info
(click to toggle)
Folder: 9.0.0+coq8.20-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 93 | BigN |
|
d | rwxr-xr-x | 45 | BigQ |
|
d | rwxr-xr-x | 45 | BigZ |
|
d | rwxr-xr-x | 4,096 | CyclicDouble |
|
d | rwxr-xr-x | 27 | SpecViaQ |
|
d | rwxr-xr-x | 113 | SpecViaZ |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 92 | plugin |
|
d | rwxr-xr-x | 79 | tests |
 |
- | rw-r--r-- | 201 | .gitignore |
|
- | rw-r--r-- | 11,310 | BigNumPrelude.v |
|
- | rw-r--r-- | 694 | CHANGELOG.md |
|
- | rw-r--r-- | 24,381 | LICENSE |
|
- | rw-r--r-- | 291 | Makefile |
|
- | rw-r--r-- | 150 | Makefile.coq.local |
|
- | rw-r--r-- | 2,287 | README.md |
|
- | rw-r--r-- | 605 | _CoqProject |
|
- | rw-r--r-- | 1,215 | coq-bignums.opam |
|
- | rw-r--r-- | 179 | dune |
|
- | rw-r--r-- | 47 | dune-project |
|
- | rw-r--r-- | 1,288 | meta.yml |