معرفی شرکت ها

why3-coq_1.3.3-1+b4_i386.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Coq support for the why3 verification platform
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main i386
نام بسته why3-coq
نام فایل بسته why3-coq_1.3.3-1+b4_i386.deb
نسخه بسته 1.3.3
انتشار بسته 1+b4
معماری بسته i386
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://why3.lri.fr/
مجوز -
حجم دانلود 756948
حجم نصب 3827
This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform.


جایگزین ها

بسته نسخه معماری مخزن
why3-coq_1.3.3-1+b4_amd64.deb 1.3.3 amd64 Debian main
why3-coq_1.3.3-1+b4_arm64.deb 1.3.3 arm64 Debian main
why3-coq_1.3.3-1+b4_armel.deb 1.3.3 armel Debian main
why3-coq_1.3.3-1+b4_armhf.deb 1.3.3 armhf Debian main
why3-coq_1.3.3-1+b4_mipsel.deb 1.3.3 mipsel Debian main
why3-coq_1.3.3-1+b4_ppc64el.deb 1.3.3 ppc64el Debian main


نیازمندی

مقدار نام
- coq-8.12.0+4.11.1
>= 6.13 tex-common


نحوه نصب


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

    sudo apt-get install why3-coq_1.3.3-1+b4_i386.deb


فایل ها

مسیرها
./usr/lib/ocaml/why3/coq/BuiltIn.vo
./usr/lib/ocaml/why3/coq/HighOrd.vo
./usr/lib/ocaml/why3/coq/bool/Bool.vo
./usr/lib/ocaml/why3/coq/bv/BV_Gen.vo
./usr/lib/ocaml/why3/coq/bv/Pow2int.vo
./usr/lib/ocaml/why3/coq/for_drivers/ComputerOfEuclideanDivision.vo
./usr/lib/ocaml/why3/coq/int/Abs.vo
./usr/lib/ocaml/why3/coq/int/ComputerDivision.vo
./usr/lib/ocaml/why3/coq/int/Div2.vo
./usr/lib/ocaml/why3/coq/int/EuclideanDivision.vo
./usr/lib/ocaml/why3/coq/int/Exponentiation.vo
./usr/lib/ocaml/why3/coq/int/Int.vo
./usr/lib/ocaml/why3/coq/int/MinMax.vo
./usr/lib/ocaml/why3/coq/int/NumOf.vo
./usr/lib/ocaml/why3/coq/int/Power.vo
./usr/lib/ocaml/why3/coq/list/Append.vo
./usr/lib/ocaml/why3/coq/list/Combine.vo
./usr/lib/ocaml/why3/coq/list/Distinct.vo
./usr/lib/ocaml/why3/coq/list/HdTl.vo
./usr/lib/ocaml/why3/coq/list/HdTlNoOpt.vo
./usr/lib/ocaml/why3/coq/list/Length.vo
./usr/lib/ocaml/why3/coq/list/List.vo
./usr/lib/ocaml/why3/coq/list/Mem.vo
./usr/lib/ocaml/why3/coq/list/Nth.vo
./usr/lib/ocaml/why3/coq/list/NthHdTl.vo
./usr/lib/ocaml/why3/coq/list/NthLength.vo
./usr/lib/ocaml/why3/coq/list/NthLengthAppend.vo
./usr/lib/ocaml/why3/coq/list/NthNoOpt.vo
./usr/lib/ocaml/why3/coq/list/NumOcc.vo
./usr/lib/ocaml/why3/coq/list/Permut.vo
./usr/lib/ocaml/why3/coq/list/RevAppend.vo
./usr/lib/ocaml/why3/coq/list/Reverse.vo
./usr/lib/ocaml/why3/coq/map/Const.vo
./usr/lib/ocaml/why3/coq/map/Map.vo
./usr/lib/ocaml/why3/coq/map/MapInjection.vo
./usr/lib/ocaml/why3/coq/map/MapPermut.vo
./usr/lib/ocaml/why3/coq/map/Occ.vo
./usr/lib/ocaml/why3/coq/number/Coprime.vo
./usr/lib/ocaml/why3/coq/number/Divisibility.vo
./usr/lib/ocaml/why3/coq/number/Gcd.vo
./usr/lib/ocaml/why3/coq/number/Parity.vo
./usr/lib/ocaml/why3/coq/number/Prime.vo
./usr/lib/ocaml/why3/coq/option/Option.vo
./usr/lib/ocaml/why3/coq/real/Abs.vo
./usr/lib/ocaml/why3/coq/real/ExpLog.vo
./usr/lib/ocaml/why3/coq/real/FromInt.vo
./usr/lib/ocaml/why3/coq/real/MinMax.vo
./usr/lib/ocaml/why3/coq/real/PowerInt.vo
./usr/lib/ocaml/why3/coq/real/PowerReal.vo
./usr/lib/ocaml/why3/coq/real/Real.vo
... and 19 more