package info
(click to toggle)
Folder: 0.5.0-1
![]() |
.. (parent) | |||
![]() |
d | rwxr-xr-x | 31 | .circleci |
![]() |
d | rwxr-xr-x | 104 | .pc |
![]() |
d | rwxr-xr-x | 4,096 | debian |
![]() |
d | rwxr-xr-x | 31 | tests |
![]() |
d | rwxr-xr-x | 95 | theories |
![]() |
- | rw-r--r-- | 88 | .gitignore |
![]() |
- | rw-r--r-- | 3,080 | CHANGELOG.md |
![]() |
- | rw-r--r-- | 521 | CoqMakefile.local |
![]() |
- | rw-r--r-- | 1,095 | LICENSE |
![]() |
- | rw-r--r-- | 963 | Makefile |
![]() |
- | rw-r--r-- | 4,389 | README.md |
![]() |
- | rw-r--r-- | 206 | _CoqProject |
![]() |
- | rw-r--r-- | 831 | extructures.opam |
![]() |
- | rw-r--r-- | 1,438 | flake.lock |
![]() |
- | rw-r--r-- | 1,046 | flake.nix |