معرفی شرکت ها

coq_8.12.0-3+b3_mips64el.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
توزیع Debian Bullseye-11
مخزن Debian main mips64el
نام بسته coq
نام فایل بسته coq_8.12.0-3+b3_mips64el.deb
نسخه بسته 8.12.0
انتشار بسته 3+b3
معماری بسته mips64el
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://coq.inria.fr/
مجوز -
حجم دانلود 105866584
حجم نصب 412882
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-theories_8.12.0-3+b3_amd64.deb 8.12.0 amd64 Debian main
coq-theories_8.12.0-3+b3_arm64.deb 8.12.0 arm64 Debian main
coq-theories_8.12.0-3+b3_armel.deb 8.12.0 armel Debian main
coq-theories_8.12.0-3+b3_armhf.deb 8.12.0 armhf Debian main
coq-theories_8.12.0-3+b3_i386.deb 8.12.0 i386 Debian main
coq-theories_8.12.0-3+b3_mips64el.deb 8.12.0 mips64el Debian main
coq-theories_8.12.0-3+b3_mipsel.deb 8.12.0 mipsel Debian main
coq-theories_8.12.0-3+b3_ppc64el.deb 8.12.0 ppc64el Debian main
coq_8.12.0-3+b3_amd64.deb 8.12.0 amd64 Debian main
coq_8.12.0-3+b3_arm64.deb 8.12.0 arm64 Debian main
coq_8.12.0-3+b3_armel.deb 8.12.0 armel Debian main
coq_8.12.0-3+b3_armhf.deb 8.12.0 armhf Debian main
coq_8.12.0-3+b3_i386.deb 8.12.0 i386 Debian main
coq_8.12.0-3+b3_mipsel.deb 8.12.0 mipsel Debian main
coq_8.12.0-3+b3_ppc64el.deb 8.12.0 ppc64el Debian main
coqide_8.12.0-3+b3_amd64.deb 8.12.0 amd64 Debian main
coqide_8.12.0-3+b3_arm64.deb 8.12.0 arm64 Debian main
coqide_8.12.0-3+b3_armel.deb 8.12.0 armel Debian main
coqide_8.12.0-3+b3_armhf.deb 8.12.0 armhf Debian main
coqide_8.12.0-3+b3_i386.deb 8.12.0 i386 Debian main
coqide_8.12.0-3+b3_mips64el.deb 8.12.0 mips64el Debian main
coqide_8.12.0-3+b3_mipsel.deb 8.12.0 mipsel Debian main
coqide_8.12.0-3+b3_ppc64el.deb 8.12.0 ppc64el Debian main


نیازمندی

مقدار نام
= 8.12.0-3+b3 coq-theories
- libcoq-ocaml-4s3g2
- libnum-ocaml-3st20
- ocaml-base-nox-4.11.1
- python3:any
- ocaml-nox
- ocaml-findlib


نحوه نصب


نصب پکیج deb coq:

    sudo apt-get install coq_8.12.0-3+b3_mips64el.deb


فایل ها

مسیرها
./usr/bin/coq-tex
./usr/bin/coq_makefile
./usr/bin/coqc
./usr/bin/coqchk
./usr/bin/coqdep
./usr/bin/coqdoc
./usr/bin/coqidetop
./usr/bin/coqidetop.byte
./usr/bin/coqpp
./usr/bin/coqproofworker.byte
./usr/bin/coqqueryworker.byte
./usr/bin/coqtacticworker.byte
./usr/bin/coqtop
./usr/bin/coqtop.byte
./usr/bin/coqwc
./usr/bin/coqworkmgr
./usr/bin/ocamllibdep
./usr/bin/votour
./usr/lib/coq/plugins/micromega/csdpcert
./usr/lib/coq/tools/CoqMakefile.in
./usr/lib/coq/tools/TimeFileMaker.py
./usr/lib/coq/tools/coqdoc/coqdoc.css
./usr/lib/coq/tools/coqdoc/coqdoc.sty
./usr/lib/coq/tools/make-both-single-timing-files
./usr/lib/coq/tools/make-both-time-files
./usr/lib/coq/tools/make-one-time-file
./usr/share/coq/coqvars.mk
./usr/share/doc/coq/CODE_OF_CONDUCT.md.gz
./usr/share/doc/coq/CONTRIBUTING.md.gz
./usr/share/doc/coq/CREDITS.gz
./usr/share/doc/coq/NEWS.Debian.gz
./usr/share/doc/coq/README.Debian
./usr/share/doc/coq/README.md.gz
./usr/share/doc/coq/TODO.Debian
./usr/share/doc/coq/changelog.Debian.gz
./usr/share/doc/coq/changelog.Debian.mips64el.gz
./usr/share/doc/coq/copyright
./usr/share/lintian/overrides/coq
./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/pixmaps/coq.xpm
./usr/share/python3/runtime.d/coq.rtupdate
./usr/share/texmf/tex/latex/misc/coqdoc.sty