[ Kaynak: coq-mtac2 ]
Paket: libcoq-mtac2 (1.4+8.19-1 ve diğerleri)
libcoq-mtac2 için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
coq-mtac2 Kaynak Paketini İndir:
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
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.
libcoq-mtac2 ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libc6 (>= 2.4) [armhf]
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
-
- dep: libcoq-stdlib-4ftr7 [amd64]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-5b3c9 [arm64]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-6mgv9 [riscv64]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-93wq5 [ppc64el]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-n0k10 [ppc64]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-q1ie4 [s390x]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-rhfg4 [armhf]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-ry8i6 [i386]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-unicoq-0lja4 [armhf]
- sanal paketi sağlayan libcoq-unicoq
-
- dep: libcoq-unicoq-3uyp7 [ppc64el]
- sanal paketi sağlayan libcoq-unicoq
-
- dep: libcoq-unicoq-5sgl9 [ppc64]
- sanal paketi sağlayan libcoq-unicoq
-
- dep: libcoq-unicoq-dlbs8 [riscv64]
- sanal paketi sağlayan libcoq-unicoq
-
- dep: libcoq-unicoq-exrb0 [s390x]
- sanal paketi sağlayan libcoq-unicoq
-
- dep: libcoq-unicoq-npgg3 [arm64]
- sanal paketi sağlayan libcoq-unicoq
-
- dep: libcoq-unicoq-ppaz0 [i386]
- sanal paketi sağlayan libcoq-unicoq
-
- dep: libcoq-unicoq-q5fq8 [amd64]
- sanal paketi sağlayan libcoq-unicoq
libcoq-mtac2 indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
amd64 | 1.4+8.19-1 | 778,1 kB | 4.927,0 kB | [dosya listesi] |
arm64 | 1.4+8.19-1 | 788,3 kB | 5.037,0 kB | [dosya listesi] |
armhf | 1.4+8.19-1 | 776,6 kB | 4.638,0 kB | [dosya listesi] |
i386 | 1.4+8.19-1 | 766,7 kB | 4.776,0 kB | [dosya listesi] |
ppc64 (resmi olmayan port) | 1.4+8.17-1+b1 | 757,2 kB | 4.660,0 kB | [dosya listesi] |
ppc64el | 1.4+8.19-1 | 781,8 kB | 5.037,0 kB | [dosya listesi] |
riscv64 | 1.4+8.19-1 | 781,8 kB | 4.949,0 kB | [dosya listesi] |
s390x | 1.4+8.19-1 | 781,4 kB | 5.005,0 kB | [dosya listesi] |