[ Kaynak: coq ]
Paket: coq (8.18.0+dfsg-1 ve diğerleri)
coq 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 Kaynak Paketini İndir:
Geliştiriciler:
- Debian OCaml Maintainers (QA Sayfası, Posta Arşivi)
- Benjamin Barenblat (QA Sayfası)
- Julien Puydt (QA Sayfası)
- Ralf Treinen (QA Sayfası)
- Stéphane Glondu (QA Sayfası)
Dış Kaynaklar:
- Ana Sayfa [coq.inria.fr]
Benzer paketler:
proof assistant for higher-order logic (toplevel and compiler)
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
This package provides coqtop, a command line interface to Coq.
A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
coq ile İlgili Diğer Paketler
|
|
|
|
-
- dep: coq-libs (= 8.1.pl3+dfsg-1) [m68k]
- Paket mevcut değil
-
- dep: coq-theories (= 8.12.0-3+b3) [alpha, hppa, ia64, sh4, sparc64, x32]
- proof assistant for higher-order logic (theories)
-
- dep: emacsen-common [m68k]
- Common facilities for all emacsen
-
- dep: libc6 (>= 2.34) [riscv64]
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
- dep: libc6 (>= 2.35) [amd64, arm64, armhf, i386, ppc64, ppc64el, s390x]
- dep: libc6 (>= 2.5-5) [m68k]
-
- dep: libcoq-core-ocaml-fg9y1 [amd64]
- sanal paketi sağlayan libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-jwuq2 [i386]
- sanal paketi sağlayan libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-lsl44 [s390x]
- sanal paketi sağlayan libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ru4g2 [armhf]
- sanal paketi sağlayan libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-t2nr4 [arm64]
- sanal paketi sağlayan libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-vvuk3 [ppc64]
- sanal paketi sağlayan libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-y3z04 [riscv64]
- sanal paketi sağlayan libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-zchk9 [ppc64el]
- sanal paketi sağlayan libcoq-core-ocaml
-
- dep: libcoq-ocaml-4s3g2 [alpha, hppa, ia64, sh4, sparc64, x32]
- sanal paketi sağlayan libcoq-ocaml
-
- dep: libcoq-stdlib (= 8.17.0+dfsg-1+b2) [ppc64]
- proof assistant for higher-order logic (theories)
- dep: libcoq-stdlib (= 8.18.0+dfsg-1+b1) [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]
-
- dep: libfindlib-ocaml-449z9 [amd64]
- sanal paketi sağlayan libfindlib-ocaml
-
- dep: libfindlib-ocaml-9adu2 [armhf]
- sanal paketi sağlayan libfindlib-ocaml
-
- dep: libfindlib-ocaml-gc4b1 [riscv64]
- sanal paketi sağlayan libfindlib-ocaml
-
- dep: libfindlib-ocaml-goqu1 [i386]
- sanal paketi sağlayan libfindlib-ocaml
-
- dep: libfindlib-ocaml-ift94 [arm64]
- sanal paketi sağlayan libfindlib-ocaml
-
- dep: libfindlib-ocaml-k3zo5 [s390x]
- sanal paketi sağlayan libfindlib-ocaml
-
- dep: libfindlib-ocaml-vikp8 [ppc64]
- Paket mevcut değil
-
- dep: libfindlib-ocaml-z40n4 [ppc64el]
- sanal paketi sağlayan libfindlib-ocaml
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1) [ppc64]
- Multiprecision arithmetic library
- dep: libgmp10 (>= 2:6.3.0+dfsg) [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]
-
- dep: libncurses5 (>= 5.6+20071006-3) [m68k]
- Paket mevcut değil
-
- dep: libnum-ocaml-3st20 [alpha, hppa, ia64, sh4, sparc64, x32]
- sanal paketi sağlayan libnum-ocaml
-
- dep: libstdlib-ocaml-058x2 [ppc64el]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-dkl58 [i386]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-ep7y0 [amd64]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-fyga0 [arm64]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-rayz1 [armhf]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-vjut8 [riscv64]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libstdlib-ocaml-vneg5 [s390x]
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libzarith-ocaml-avzf2 [s390x]
- sanal paketi sağlayan libzarith-ocaml
-
- dep: libzarith-ocaml-v4iz3 [ppc64]
- Paket mevcut değil
-
- dep: libzarith-ocaml-wx6x8 [armhf, i386]
- sanal paketi sağlayan libzarith-ocaml
-
- dep: libzarith-ocaml-zlfv4 [amd64, arm64, ppc64el, riscv64]
- sanal paketi sağlayan libzarith-ocaml
-
- dep: ocaml [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]
- ML language implementation with a class-based object system
-
- dep: ocaml-base-4.13.1 [ppc64]
- sanal paketi sağlayan ocaml-base
-
- dep: ocaml-base-4.14.1 [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]
- sanal paketi sağlayan ocaml-base
-
- dep: ocaml-base-nox-3.10.2 [m68k]
- Paket mevcut değil
-
- dep: ocaml-base-nox-4.11.1 [alpha, hppa, ia64, sh4, sparc64, x32]
- Paket mevcut değil
-
- dep: ocaml-findlib [m68k değil]
- management tool for OCaml libraries
-
- dep: ocaml-nox [alpha, hppa, ia64, ppc64, sh4, sparc64, x32]
- transitional package for ocaml
-
- dep: python3 [m68k değil]
- interactive high-level object-oriented language (default python3 version)
-
- dep: tex-common (>= 1.10) [m68k]
- common infrastructure for building and installing TeX
-
- rec: coqide
- proof assistant for higher-order logic (gtk interface)
- ya da proofgeneral-coq
- Paket mevcut değil
-
- sug: cle [m68k]
- Paket mevcut değil
-
- sug: coq-doc
- documentation for Coq
-
- sug: coqide [m68k değil]
- proof assistant for higher-order logic (gtk interface)
- ya da proofgeneral
- generic frontend for proof assistants
-
- sug: ledit [m68k]
- line editor for interactive programs
-
- sug: ledit [m68k değil]
- line editor for interactive programs
- ya da readline-editor
- sanal paketi sağlayan ledit, rlfe, rlwrap
-
- sug: libcoq-core-ocaml-dev [alpha, hppa, ia64, m68k, sh4, sparc64, x32 değil]
- development libraries and tools for Coq
-
- sug: libcoq-ocaml-dev [alpha, hppa, ia64, sh4, sparc64, x32]
- development libraries and tools for Coq
-
- sug: ocaml-nox (>= 3.08) [m68k]
- transitional package for ocaml
-
- sug: proofgeneral-coq [m68k]
- Paket mevcut değil
-
- sug: why (>= 2.19) [m68k değil]
- Paket mevcut değil
coq indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| alpha (resmi olmayan port) | 8.12.0-3+b3 | 103.380,6 kB | 412.882,0 kB | [dosya listesi] |
| amd64 | 8.18.0+dfsg-1+b1 | 79.818,7 kB | 304.415,0 kB | [dosya listesi] |
| arm64 | 8.18.0+dfsg-1+b1 | 86.050,0 kB | 339.768,0 kB | [dosya listesi] |
| armhf | 8.18.0+dfsg-1+b1 | 76.577,2 kB | 254.298,0 kB | [dosya listesi] |
| hppa (resmi olmayan port) | 8.12.0-3+b3 | 103.393,2 kB | 412.952,0 kB | [dosya listesi] |
| i386 | 8.18.0+dfsg-1+b1 | 75.346,1 kB | 274.243,0 kB | [dosya listesi] |
| ia64 (resmi olmayan port) | 8.12.0-3+b3 | 103.379,1 kB | 412.878,0 kB | [dosya listesi] |
| m68k (resmi olmayan port) | 8.1.pl3+dfsg-1+b2 | 4.014,9 kB | 18.580,0 kB | [dosya listesi] |
| ppc64 (resmi olmayan port) | 8.17.0+dfsg-1+b2 | 76.145,4 kB | 325.582,0 kB | [dosya listesi] |
| ppc64el | 8.18.0+dfsg-1+b1 | 79.780,1 kB | 319.990,0 kB | [dosya listesi] |
| riscv64 | 8.18.0+dfsg-1+b1 | 79.222,8 kB | 314.407,0 kB | [dosya listesi] |
| s390x | 8.18.0+dfsg-1+b1 | 79.321,8 kB | 320.634,0 kB | [dosya listesi] |
| sh4 (resmi olmayan port) | 8.12.0-3+b3 | 103.401,4 kB | 412.954,0 kB | [dosya listesi] |
| sparc64 (resmi olmayan port) | 8.12.0-3+b3 | 103.374,8 kB | 412.882,0 kB | [dosya listesi] |
| x32 (resmi olmayan port) | 8.12.0-3+b3 | 103.397,8 kB | 412.954,0 kB | [dosya listesi] |