معرفی شرکت ها

coq_8.6-5build1_amd64.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

proof assistant for higher-order logic (toplevel and compiler)
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe amd64
نام بسته coq
نام فایل بسته coq_8.6-5build1_amd64.deb
نسخه بسته 8.6
انتشار بسته 5build1
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://coq.inria.fr/
مجوز -
حجم دانلود 17673808
حجم نصب 72587
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-doc-html_8.6-1_all.deb 8.6 all Ubuntu multiverse
coq-doc-pdf_8.6-1_all.deb 8.6 all Ubuntu multiverse
coq-doc_8.6-1_all.deb 8.6 all Ubuntu multiverse
coq-theories_8.6-5build1_amd64.deb 8.6 amd64 Ubuntu universe
coq-theories_8.6-5build1_i386.deb 8.6 i386 Ubuntu universe
coq_8.6-5build1_i386.deb 8.6 i386 Ubuntu universe
coqide_8.6-5build1_amd64.deb 8.6 amd64 Ubuntu universe
coqide_8.6-5build1_i386.deb 8.6 i386 Ubuntu universe
coquelicot_0.9.6-1ubuntu1_all.deb 0.9.6 all Ubuntu universe


نیازمندی

مقدار نام
= 8.6-5build1 coq-theories
- emacsen-common
- libcoq-ocaml-ywd98
- ocaml-base-nox-4.05.0
>= 2.17 libc6
- ocaml-best-compilers
- ocaml-findlib


نحوه نصب


نصب پکیج deb coq:

    sudo apt-get install coq_8.6-5build1_amd64.deb


فایل ها

مسیرها
./etc/emacs/site-start.d/50coq.el
./usr/bin/coq-tex
./usr/bin/coq_makefile
./usr/bin/coqc
./usr/bin/coqchk
./usr/bin/coqdep
./usr/bin/coqdoc
./usr/bin/coqtop
./usr/bin/coqtop.byte
./usr/bin/coqwc
./usr/bin/coqworkmgr
./usr/bin/gallina
./usr/lib/coq/plugins/micromega/csdpcert
./usr/lib/coq/tools/coqdoc/coqdoc.css
./usr/lib/coq/tools/coqdoc/coqdoc.sty
./usr/lib/emacsen-common/packages/install/coq
./usr/lib/emacsen-common/packages/remove/coq
./usr/share/coq/coqvars.mk
./usr/share/doc/coq/CREDITS.gz
./usr/share/doc/coq/README.Debian
./usr/share/doc/coq/README.md
./usr/share/doc/coq/copyright
./usr/share/emacs/site-lisp/coq/coq-font-lock.el
./usr/share/emacs/site-lisp/coq/coq-inferior.el
./usr/share/emacs/site-lisp/coq/gallina-db.el
./usr/share/emacs/site-lisp/coq/gallina-syntax.el
./usr/share/emacs/site-lisp/coq/gallina.el
./usr/share/man/man1/coq-tex.1.gz
./usr/share/man/man1/coq_makefile.1.gz
./usr/share/man/man1/coqc.1.gz
./usr/share/man/man1/coqchk.1.gz
./usr/share/man/man1/coqdep.1.gz
./usr/share/man/man1/coqdoc.1.gz
./usr/share/man/man1/coqtop.1.gz
./usr/share/man/man1/coqtop.byte.1.gz
./usr/share/man/man1/coqtop.opt.1.gz
./usr/share/man/man1/coqwc.1.gz
./usr/share/man/man1/gallina.1.gz
./usr/share/pixmaps/coq.xpm
./usr/share/texmf/tex/latex/misc/coqdoc.sty
./usr/share/doc/coq/NEWS.Debian.gz -> ../coq-theories/NEWS.Debian.gz
./usr/share/doc/coq/changelog.Debian.gz -> ../coq-theories/changelog.Debian.gz
./usr/share/man/man1/coqchk.opt.1.gz -> coqchk.1.gz