معرفی شرکت ها
libcoq-coqeal_1.1.1-3+b1_s390x.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
algebra and data structure algorithms for Coq
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main s390x |
| نام بسته | libcoq-coqeal |
| نام فایل بسته | libcoq-coqeal_1.1.1-3+b1_s390x.deb |
| نسخه بسته | 1.1.1 |
| انتشار بسته | 3+b1 |
| معماری بسته | s390x |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/coq-community/coqeal |
| مجوز | - |
| حجم دانلود | 4619356 |
| حجم نصب | 18738 |
This library provides developments in algebra (including
normal forms of matrices), optimized algorithms on
MathComp data structures, and a data representation change
framework.
.
Coq is a proof assistant for higher-order logic, and MathComp
is a large set of mathematical theories for Coq.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libcoq-coqeal_1.1.1-3+b1_amd64.deb | 1.1.1 | amd64 | Debian main |
| libcoq-coqeal_1.1.1-3+b1_arm64.deb | 1.1.1 | arm64 | Debian main |
| libcoq-coqeal_1.1.1-3+b1_armhf.deb | 1.1.1 | armhf | Debian main |
| libcoq-coqeal_1.1.1-3+b1_i386.deb | 1.1.1 | i386 | Debian main |
| libcoq-coqeal_1.1.1-3+b1_ppc64el.deb | 1.1.1 | ppc64el | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | libcoq-bignums-gj164 |
| - | libcoq-mathcomp-algebra-skso8 |
| - | libcoq-mathcomp-multinomials-ic4z7 |
| - | libcoq-mathcomp-real-closed-lwzp9 |
| - | libcoq-paramcoq-hwoq3 |
| - | libcoq-stdlib-ntv04 |
نحوه نصب
نصب پکیج deb libcoq-coqeal:
sudo apt-get install libcoq-coqeal_1.1.1-3+b1_s390x.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/bareiss_eff.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/bareiss_eff.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/bareiss_eff.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/binint.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/binint.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/binint.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/binnat.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/binnat.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/binnat.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/binord.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/binord.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/binord.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/binrat.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/binrat.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/binrat.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/boolF2.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/boolF2.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/boolF2.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/examples/irred.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/examples/irred.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/examples/irred.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/hpoly.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/hpoly.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/hpoly.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/hrel.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/hrel.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/hrel.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/karatsuba.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/karatsuba.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/karatsuba.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/multipoly.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/multipoly.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/multipoly.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/param.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/param.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/param.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/poly_div.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/poly_div.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/poly_div.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/poly_op.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/poly_op.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/poly_op.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/pos.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/pos.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/pos.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/rational.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/rational.v |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/rational.vo |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/refinements.glob |
| ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/refinements.v |
| ... and 105 more |