معرفی شرکت ها


coq-theories_8.9.0-1_armel.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

proof assistant for higher-order logic (theories)
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main armel
نام بسته coq-theories
نام فایل بسته coq-theories_8.9.0-1_armel.deb
نسخه بسته 8.9.0
انتشار بسته 1
معماری بسته armel
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://coq.inria.fr/
مجوز -
حجم دانلود 20356976
حجم نصب 130403
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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.


جایگزین ها

بسته نسخه معماری مخزن
coq-theories_8.9.0-1_amd64.deb 8.9.0 amd64 Debian main
coq-theories_8.9.0-1_arm64.deb 8.9.0 arm64 Debian main
coq-theories_8.9.0-1_armhf.deb 8.9.0 armhf Debian main
coq-theories_8.9.0-1_i386.deb 8.9.0 i386 Debian main
coq-theories_8.9.0-1_mips.deb 8.9.0 mips Debian main
coq-theories_8.9.0-1_mips64el.deb 8.9.0 mips64el Debian main
coq-theories_8.9.0-1_mipsel.deb 8.9.0 mipsel Debian main
coq-theories_8.9.0-1_ppc64el.deb 8.9.0 ppc64el Debian main
coq-theories_8.9.0-1_s390x.deb 8.9.0 s390x Debian main


نیازمندی

مقدار نام
- coq-8.9.0+4.05.0


نحوه نصب


نصب پکیج deb coq-theories:

    sudo apt-get install coq-theories_8.9.0-1_armel.deb


فایل ها

مسیرها
./usr/lib/coq/plugins/btauto/Algebra.glob
./usr/lib/coq/plugins/btauto/Algebra.v
./usr/lib/coq/plugins/btauto/Algebra.vo
./usr/lib/coq/plugins/btauto/Btauto.glob
./usr/lib/coq/plugins/btauto/Btauto.v
./usr/lib/coq/plugins/btauto/Btauto.vo
./usr/lib/coq/plugins/btauto/Reflect.glob
./usr/lib/coq/plugins/btauto/Reflect.v
./usr/lib/coq/plugins/btauto/Reflect.vo
./usr/lib/coq/plugins/derive/Derive.glob
./usr/lib/coq/plugins/derive/Derive.v
./usr/lib/coq/plugins/derive/Derive.vo
./usr/lib/coq/plugins/extraction/ExtrHaskellBasic.glob
./usr/lib/coq/plugins/extraction/ExtrHaskellBasic.v
./usr/lib/coq/plugins/extraction/ExtrHaskellBasic.vo
./usr/lib/coq/plugins/extraction/ExtrHaskellNatInt.glob
./usr/lib/coq/plugins/extraction/ExtrHaskellNatInt.v
./usr/lib/coq/plugins/extraction/ExtrHaskellNatInt.vo
./usr/lib/coq/plugins/extraction/ExtrHaskellNatInteger.glob
./usr/lib/coq/plugins/extraction/ExtrHaskellNatInteger.v
./usr/lib/coq/plugins/extraction/ExtrHaskellNatInteger.vo
./usr/lib/coq/plugins/extraction/ExtrHaskellNatNum.glob
./usr/lib/coq/plugins/extraction/ExtrHaskellNatNum.v
./usr/lib/coq/plugins/extraction/ExtrHaskellNatNum.vo
./usr/lib/coq/plugins/extraction/ExtrHaskellString.glob
./usr/lib/coq/plugins/extraction/ExtrHaskellString.v
./usr/lib/coq/plugins/extraction/ExtrHaskellString.vo
./usr/lib/coq/plugins/extraction/ExtrHaskellZInt.glob
./usr/lib/coq/plugins/extraction/ExtrHaskellZInt.v
./usr/lib/coq/plugins/extraction/ExtrHaskellZInt.vo
./usr/lib/coq/plugins/extraction/ExtrHaskellZInteger.glob
./usr/lib/coq/plugins/extraction/ExtrHaskellZInteger.v
./usr/lib/coq/plugins/extraction/ExtrHaskellZInteger.vo
./usr/lib/coq/plugins/extraction/ExtrHaskellZNum.glob
./usr/lib/coq/plugins/extraction/ExtrHaskellZNum.v
./usr/lib/coq/plugins/extraction/ExtrHaskellZNum.vo
./usr/lib/coq/plugins/extraction/ExtrOcamlBasic.glob
./usr/lib/coq/plugins/extraction/ExtrOcamlBasic.v
./usr/lib/coq/plugins/extraction/ExtrOcamlBasic.vo
./usr/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.glob
./usr/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.v
./usr/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.vo
./usr/lib/coq/plugins/extraction/ExtrOcamlIntConv.glob
./usr/lib/coq/plugins/extraction/ExtrOcamlIntConv.v
./usr/lib/coq/plugins/extraction/ExtrOcamlIntConv.vo
./usr/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.glob
./usr/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.v
./usr/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.vo
./usr/lib/coq/plugins/extraction/ExtrOcamlNatInt.glob
./usr/lib/coq/plugins/extraction/ExtrOcamlNatInt.v
... and 2356 more