معرفی شرکت ها
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
randomized testing framework for Coq (plugin)
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main ppc64el |
| نام بسته | libcoq-quickchick |
| نام فایل بسته | libcoq-quickchick_1.6.4-3+b1_ppc64el.deb |
| نسخه بسته | 1.6.4 |
| انتشار بسته | 3+b1 |
| معماری بسته | ppc64el |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/Quickchick/Quickchick |
| مجوز | - |
| حجم دانلود | 1588264 |
| حجم نصب | 7076 |
QuickChick provides a framework for randomized testing
of program properties ; it's a clone of Haskell's
QuickCheck.
.
It includes a foundational verification framework to test
code and a mechanism to automatically derive generators
for inductive relations.
.
Coq is a proof assistant for higher-order logic.
.
This package contains the Coq plugin.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libcoq-quickchick_1.6.4-3+b1_amd64.deb | 1.6.4 | amd64 | Debian main |
| libcoq-quickchick_1.6.4-3+b1_arm64.deb | 1.6.4 | arm64 | Debian main |
| libcoq-quickchick_1.6.4-3+b1_armhf.deb | 1.6.4 | armhf | Debian main |
| libcoq-quickchick_1.6.4-3+b1_i386.deb | 1.6.4 | i386 | Debian main |
| libcoq-quickchick_1.6.4-3+b1_s390x.deb | 1.6.4 | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | libcoq-ext-lib-ov5q1 |
| - | libcoq-mathcomp-ssreflect-l1wx5 |
| - | libcoq-simple-io-mjk63 |
| - | libcoq-stdlib-ig513 |
نحوه نصب
نصب پکیج deb libcoq-quickchick:
sudo apt-get install libcoq-quickchick_1.6.4-3+b1_ppc64el.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Checker.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Checker.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Checker.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Classes.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Classes.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Classes.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/CoArbitrary.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/CoArbitrary.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/CoArbitrary.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Decidability.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Decidability.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Decidability.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/DependentClasses.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/DependentClasses.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/DependentClasses.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/ExtractionQC.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/ExtractionQC.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/ExtractionQC.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenHigh.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenHigh.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenHigh.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenHighImpl.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenHighImpl.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenHighImpl.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenHighInterface.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenHighInterface.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenHighInterface.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenLow.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenLow.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenLow.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenLowInterface.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenLowInterface.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/GenLowInterface.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Instances.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Instances.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Instances.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/MutateCheck.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/MutateCheck.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/MutateCheck.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Mutation.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Mutation.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Mutation.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Nat_util.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Nat_util.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/Nat_util.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/QuickChick.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/QuickChick.v |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/QuickChick.vo |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/RandomQC.glob |
| ./usr/lib/ocaml/coq/user-contrib/QuickChick/RandomQC.v |
| ... and 43 more |