معرفی شرکت ها

coq-theories_8.12.0-3+b3_armhf.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 Bullseye-11
مخزن Debian main armhf
نام بسته coq-theories
نام فایل بسته coq-theories_8.12.0-3+b3_armhf.deb
نسخه بسته 8.12.0
انتشار بسته 3+b3
معماری بسته armhf
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://coq.inria.fr/
مجوز -
حجم دانلود 23918664
حجم نصب 166196
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.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_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+4.11.1


نحوه نصب


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

    sudo apt-get install coq-theories_8.12.0-3+b3_armhf.deb


فایل ها

مسیرها
./usr/lib/coq/theories/Arith/Arith.glob
./usr/lib/coq/theories/Arith/Arith.v
./usr/lib/coq/theories/Arith/Arith.vo
./usr/lib/coq/theories/Arith/Arith.vos
./usr/lib/coq/theories/Arith/Arith_base.glob
./usr/lib/coq/theories/Arith/Arith_base.v
./usr/lib/coq/theories/Arith/Arith_base.vo
./usr/lib/coq/theories/Arith/Arith_base.vos
./usr/lib/coq/theories/Arith/Between.glob
./usr/lib/coq/theories/Arith/Between.v
./usr/lib/coq/theories/Arith/Between.vo
./usr/lib/coq/theories/Arith/Between.vos
./usr/lib/coq/theories/Arith/Bool_nat.glob
./usr/lib/coq/theories/Arith/Bool_nat.v
./usr/lib/coq/theories/Arith/Bool_nat.vo
./usr/lib/coq/theories/Arith/Bool_nat.vos
./usr/lib/coq/theories/Arith/Compare.glob
./usr/lib/coq/theories/Arith/Compare.v
./usr/lib/coq/theories/Arith/Compare.vo
./usr/lib/coq/theories/Arith/Compare.vos
./usr/lib/coq/theories/Arith/Compare_dec.glob
./usr/lib/coq/theories/Arith/Compare_dec.v
./usr/lib/coq/theories/Arith/Compare_dec.vo
./usr/lib/coq/theories/Arith/Compare_dec.vos
./usr/lib/coq/theories/Arith/Div2.glob
./usr/lib/coq/theories/Arith/Div2.v
./usr/lib/coq/theories/Arith/Div2.vo
./usr/lib/coq/theories/Arith/Div2.vos
./usr/lib/coq/theories/Arith/EqNat.glob
./usr/lib/coq/theories/Arith/EqNat.v
./usr/lib/coq/theories/Arith/EqNat.vo
./usr/lib/coq/theories/Arith/EqNat.vos
./usr/lib/coq/theories/Arith/Euclid.glob
./usr/lib/coq/theories/Arith/Euclid.v
./usr/lib/coq/theories/Arith/Euclid.vo
./usr/lib/coq/theories/Arith/Euclid.vos
./usr/lib/coq/theories/Arith/Even.glob
./usr/lib/coq/theories/Arith/Even.v
./usr/lib/coq/theories/Arith/Even.vo
./usr/lib/coq/theories/Arith/Even.vos
./usr/lib/coq/theories/Arith/Factorial.glob
./usr/lib/coq/theories/Arith/Factorial.v
./usr/lib/coq/theories/Arith/Factorial.vo
./usr/lib/coq/theories/Arith/Factorial.vos
./usr/lib/coq/theories/Arith/Gt.glob
./usr/lib/coq/theories/Arith/Gt.v
./usr/lib/coq/theories/Arith/Gt.vo
./usr/lib/coq/theories/Arith/Gt.vos
./usr/lib/coq/theories/Arith/Le.glob
./usr/lib/coq/theories/Arith/Le.v
... and 3259 more