[ Source: coq-mtac2 ]
Package: libcoq-mtac2 (1.4+8.19-1 and others)
Links for libcoq-mtac2
Debian Resources:
Download Source Package coq-mtac2:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Mtac2 tactic language for Coq
This plugin for Coq provides the Mtac2 typed tactic language for backward reasoning.
Coq is a proof assistant for higher-order logic.
Other Packages Related to libcoq-mtac2
|
|
|
|
-
- dep: libc6 (>= 2.4) [armhf]
- GNU Biblioteca C: Bibliotecas compartilhadas
also a virtual package provided by libc6-udeb
-
- dep: libcoq-stdlib-49fx0 [arm64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-f7md8 [riscv64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ixla1 [amd64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-l3dr3 [i386]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ob632 [ppc64el]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-pyy86 [ppc64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ubg70 [armhf]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-w0z25 [s390x]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-unicoq-av2g8 [ppc64]
- virtual package provided by libcoq-unicoq
-
- dep: libcoq-unicoq-jnjt4 [arm64]
- virtual package provided by libcoq-unicoq
-
- dep: libcoq-unicoq-pwgi3 [armhf]
- virtual package provided by libcoq-unicoq
-
- dep: libcoq-unicoq-vtse2 [ppc64el]
- virtual package provided by libcoq-unicoq
-
- dep: libcoq-unicoq-x0on7 [s390x]
- virtual package provided by libcoq-unicoq
-
- dep: libcoq-unicoq-xbr27 [amd64]
- virtual package provided by libcoq-unicoq
-
- dep: libcoq-unicoq-xyic5 [riscv64]
- virtual package provided by libcoq-unicoq
-
- dep: libcoq-unicoq-zknd9 [i386]
- virtual package provided by libcoq-unicoq
Download libcoq-mtac2
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
amd64 | 1.4+8.19-1+b1 | 783.1 kB | 4,949.0 kB | [list of files] |
arm64 | 1.4+8.19-1+b1 | 791.0 kB | 5,053.0 kB | [list of files] |
armhf | 1.4+8.19-1+b1 | 779.8 kB | 4,664.0 kB | [list of files] |
i386 | 1.4+8.19-1+b1 | 772.1 kB | 4,794.0 kB | [list of files] |
ppc64 (unofficial port) | 1.4+8.19-1 | 788.2 kB | 5,180.0 kB | [list of files] |
ppc64el | 1.4+8.19-1+b1 | 786.3 kB | 5,053.0 kB | [list of files] |
riscv64 | 1.4+8.19-1+b1 | 785.2 kB | 4,981.0 kB | [list of files] |
s390x | 1.4+8.19-1+b1 | 784.6 kB | 5,045.0 kB | [list of files] |