Paket: coq (9.1.0+dfsg-1)

coq için bağlantılar

Debian Kaynakları:

coq Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [coq.inria.fr]

Benzer paketler:

Deneysel paket

Uyarı: Bu paket deneysel dağıtımdan geliyor. Bu, paketin kararsız veya hatalı olabileceği hatta veri kaybına sebep olabileceği anlamına gelmektedir. Lütfen kullanmadan önce değişim günlüğüne ve muhtemel diğer belgelendirmeye danıştığınızdan emin olun.

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.

Etiketler: Yazılım Geliştirme: Derleyici, Alan: Matematik, Geliştirildiği dil: implemented-in::ocaml, interface::commandline, Kullanıcı Arayüzü: Metin Tabanlı Etkileşimli, Rol: role::program, scope::utility, Arayüz Araç Takımı: Ncurses TUI

coq ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
dep: libcoq-core (= 9.1.0+dfsg-1)

proof assistant for higher-order logic (theories)
dep: libcoq-core-ocaml-3d0o2 [ppc64el]

sanal paketi sağlayan libcoq-core-ocaml
dep: libcoq-core-ocaml-501i1 [s390x]

sanal paketi sağlayan libcoq-core-ocaml
dep: libcoq-core-ocaml-9jks7 [riscv64]

sanal paketi sağlayan libcoq-core-ocaml
dep: libcoq-core-ocaml-qojm9 [arm64]

sanal paketi sağlayan libcoq-core-ocaml
dep: libcoq-core-ocaml-rqof7 [amd64]

sanal paketi sağlayan libcoq-core-ocaml
dep: libfindlib-ocaml-8k3o3 [amd64]

Paket mevcut değil
dep: libfindlib-ocaml-eitb4 [riscv64]

Paket mevcut değil
dep: libfindlib-ocaml-itlb4 [ppc64el]

Paket mevcut değil
dep: libfindlib-ocaml-svhk3 [s390x]

Paket mevcut değil
dep: libfindlib-ocaml-vaiw6 [arm64]

Paket mevcut değil
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library
dep: libstdlib-ocaml-2d5j3 [s390x]

Paket mevcut değil
dep: libstdlib-ocaml-m4xw9 [s390x değil]

Paket mevcut değil
dep: libzarith-ocaml-2ofb9 [s390x]

Paket mevcut değil
dep: libzarith-ocaml-h79v1 [s390x değil]

Paket mevcut değil
dep: ocaml

ML language implementation with a class-based object system
dep: ocaml-base-5.3.0

Paket mevcut değil
dep: ocaml-findlib

management tool for OCaml libraries
dep: python3

interactive high-level object-oriented language (default python3 version)

sug: coq-doc

documentation for Coq
sug: ledit

line editor for interactive programs

ya da readline-editor

Paket mevcut değil
sug: libcoq-core-ocaml-dev

development libraries and tools for Coq
sug: rocqide

proof assistant for higher-order logic (gtk interface)

ya da proofgeneral

generic frontend for proof assistants
sug: why (>= 2.19)

Paket mevcut değil

coq indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	38.679,5 kB	160.187,0 kB	[dosya listesi]
arm64	42.220,8 kB	178.262,0 kB	[dosya listesi]
ppc64el	39.383,1 kB	169.751,0 kB	[dosya listesi]
riscv64	39.481,6 kB	168.102,0 kB	[dosya listesi]
s390x	39.313,2 kB	175.585,0 kB	[dosya listesi]