معرفی شرکت ها
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
proof assistant for higher-order logic (theories)
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main amd64 |
| نام بسته | libcoq-stdlib |
| نام فایل بسته | libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb |
| نسخه بسته | 8.16.1+dfsg |
| انتشار بسته | 1+b2 |
| معماری بسته | amd64 |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://coq.inria.fr/ |
| مجوز | - |
| حجم دانلود | 21526056 |
| حجم نصب | 139787 |
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.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb | 8.16.1+dfsg | arm64 | Debian main |
| libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb | 8.16.1+dfsg | armhf | Debian main |
| libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb | 8.16.1+dfsg | i386 | Debian main |
| libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb | 8.16.1+dfsg | ppc64el | Debian main |
| libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb | 8.16.1+dfsg | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - |
نحوه نصب
نصب پکیج deb libcoq-stdlib:
sudo apt-get install libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ocaml/coq/theories/Arith/Arith.v |
| ./usr/lib/ocaml/coq/theories/Arith/Arith.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Arith_base.v |
| ./usr/lib/ocaml/coq/theories/Arith/Arith_base.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Arith_prebase.v |
| ./usr/lib/ocaml/coq/theories/Arith/Arith_prebase.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Between.v |
| ./usr/lib/ocaml/coq/theories/Arith/Between.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Bool_nat.v |
| ./usr/lib/ocaml/coq/theories/Arith/Bool_nat.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Cantor.v |
| ./usr/lib/ocaml/coq/theories/Arith/Cantor.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Compare.v |
| ./usr/lib/ocaml/coq/theories/Arith/Compare.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Compare_dec.v |
| ./usr/lib/ocaml/coq/theories/Arith/Compare_dec.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Div2.v |
| ./usr/lib/ocaml/coq/theories/Arith/Div2.vo |
| ./usr/lib/ocaml/coq/theories/Arith/EqNat.v |
| ./usr/lib/ocaml/coq/theories/Arith/EqNat.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Euclid.v |
| ./usr/lib/ocaml/coq/theories/Arith/Euclid.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Even.v |
| ./usr/lib/ocaml/coq/theories/Arith/Even.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Factorial.v |
| ./usr/lib/ocaml/coq/theories/Arith/Factorial.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Gt.v |
| ./usr/lib/ocaml/coq/theories/Arith/Gt.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Le.v |
| ./usr/lib/ocaml/coq/theories/Arith/Le.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Lt.v |
| ./usr/lib/ocaml/coq/theories/Arith/Lt.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Max.v |
| ./usr/lib/ocaml/coq/theories/Arith/Max.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Min.v |
| ./usr/lib/ocaml/coq/theories/Arith/Min.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Minus.v |
| ./usr/lib/ocaml/coq/theories/Arith/Minus.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Mult.v |
| ./usr/lib/ocaml/coq/theories/Arith/Mult.vo |
| ./usr/lib/ocaml/coq/theories/Arith/PeanoNat.v |
| ./usr/lib/ocaml/coq/theories/Arith/PeanoNat.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Peano_dec.v |
| ./usr/lib/ocaml/coq/theories/Arith/Peano_dec.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Plus.v |
| ./usr/lib/ocaml/coq/theories/Arith/Plus.vo |
| ./usr/lib/ocaml/coq/theories/Arith/Wf_nat.v |
| ./usr/lib/ocaml/coq/theories/Arith/Wf_nat.vo |
| ./usr/lib/ocaml/coq/theories/Array/PArray.v |
| ./usr/lib/ocaml/coq/theories/Array/PArray.vo |
| ... and 2170 more |