معرفی شرکت ها
why3-coq_0.88.3-1ubuntu4_i386.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Coq support for the why3 verification platform
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe i386 |
| نام بسته | why3-coq |
| نام فایل بسته | why3-coq_0.88.3-1ubuntu4_i386.deb |
| نسخه بسته | 0.88.3 |
| انتشار بسته | 1ubuntu4 |
| معماری بسته | i386 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://why3.lri.fr/ |
| مجوز | - |
| حجم دانلود | 1900812 |
| حجم نصب | 8416 |
This package contains the compiled coq files that are necessary to
use the coq proof assistant together with the why3 deductive
verification platform, as well as the why3 tactic for coq.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| why3-coq_0.88.3-1ubuntu4_amd64.deb | 0.88.3 | amd64 | Ubuntu universe |
نیازمندی
| مقدار | نام |
|---|---|
| - | coq |
| >= 6 | tex-common |
| - | libcoq-ocaml-6pjp3 |
| - | libzip-ocaml-moa44 |
| - | ocaml-base-nox-4.05.0 |
| >= 2.4 | libc6 |
| >= 1:1.1.4 | zlib1g |
نحوه نصب
نصب پکیج deb why3-coq:
sudo apt-get install why3-coq_0.88.3-1ubuntu4_i386.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/i386-linux-gnu/why3/coq/BuiltIn.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/HighOrd.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/bool/Bool.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/bv/BV_Gen.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/bv/Pow2int.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/int/Abs.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/int/ComputerDivision.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/int/Div2.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/int/EuclideanDivision.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/int/Exponentiation.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/int/Int.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/int/MinMax.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/int/NumOf.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/int/Power.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/Append.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/Combine.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/Distinct.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/HdTl.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/HdTlNoOpt.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/Length.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/List.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/Mem.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/Nth.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/NthHdTl.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/NthLength.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/NthLengthAppend.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/NthNoOpt.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/NumOcc.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/Permut.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/RevAppend.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/list/Reverse.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/map/Const.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/map/Map.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/map/MapInjection.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/map/MapPermut.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/map/Occ.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/number/Coprime.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/number/Divisibility.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/number/Gcd.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/number/Parity.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/number/Prime.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/option/Option.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/real/Abs.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/real/ExpLog.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/real/FromInt.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/real/MinMax.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/real/PowerInt.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/real/PowerReal.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/real/Real.vo |
| ./usr/lib/i386-linux-gnu/why3/coq/real/RealInfix.vo |
| ... and 11 more |