معرفی شرکت ها
coq-theories_8.12.0-3+b3_i386.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
proof assistant for higher-order logic (theories)
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bullseye-11 |
| مخزن | Debian main i386 |
| نام بسته | coq-theories |
| نام فایل بسته | coq-theories_8.12.0-3+b3_i386.deb |
| نسخه بسته | 8.12.0 |
| انتشار بسته | 3+b3 |
| معماری بسته | i386 |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://coq.inria.fr/ |
| مجوز | - |
| حجم دانلود | 35237680 |
| حجم نصب | 259191 |
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.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| coq-theories_8.12.0-3+b3_amd64.deb | 8.12.0 | amd64 | Debian main |
| coq-theories_8.12.0-3+b3_arm64.deb | 8.12.0 | arm64 | Debian main |
| coq-theories_8.12.0-3+b3_armel.deb | 8.12.0 | armel | Debian main |
| coq-theories_8.12.0-3+b3_armhf.deb | 8.12.0 | armhf | Debian main |
| coq-theories_8.12.0-3+b3_mips64el.deb | 8.12.0 | mips64el | Debian main |
| coq-theories_8.12.0-3+b3_mipsel.deb | 8.12.0 | mipsel | Debian main |
| coq-theories_8.12.0-3+b3_ppc64el.deb | 8.12.0 | ppc64el | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | coq-8.12.0+4.11.1 |
نحوه نصب
نصب پکیج deb coq-theories:
sudo apt-get install coq-theories_8.12.0-3+b3_i386.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Arith.cmi |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Arith.cmx |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Arith.cmxs |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Arith.o |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Arith_base.cmi |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Arith_base.cmx |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Arith_base.cmxs |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Arith_base.o |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Between.cmi |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Between.cmx |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Between.cmxs |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Between.o |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Bool_nat.cmi |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Bool_nat.cmx |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Bool_nat.cmxs |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Bool_nat.o |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Compare.cmi |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Compare.cmx |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Compare.cmxs |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Compare.o |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Compare_dec.cmi |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Compare_dec.cmx |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Compare_dec.cmxs |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Compare_dec.o |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Div2.cmi |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Div2.cmx |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Div2.cmxs |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Div2.o |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_EqNat.cmi |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_EqNat.cmx |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_EqNat.cmxs |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_EqNat.o |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Euclid.cmi |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Euclid.cmx |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Euclid.cmxs |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Euclid.o |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Even.cmi |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Even.cmx |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Even.cmxs |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Even.o |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Factorial.cmi |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Factorial.cmx |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Factorial.cmxs |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Factorial.o |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Gt.cmi |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Gt.cmx |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Gt.cmxs |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Gt.o |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Le.cmi |
| ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Le.cmx |
| ... and 5539 more |