معرفی شرکت ها

why3-coq_1.3.3-1+b4_amd64.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 amd64
نام بسته why3-coq
نام فایل بسته why3-coq_1.3.3-1+b4_amd64.deb
نسخه بسته 1.3.3
انتشار بسته 1+b4
معماری بسته amd64
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://why3.lri.fr/
مجوز -
حجم دانلود 757188
حجم نصب 3830
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_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_i386.deb 1.3.3 i386 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_amd64.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